the Miro prangs.
sent1: that the Moonie is a hornist and it is not non-Nicaean does not hold. sent2: if the fact that the Moonie is a kind of a Neapolitan is not wrong then it is not a kind of a tumblebug. sent3: the virologist is Taoist. sent4: something is a kind of a Taoist that is an approval if it is not a hornist. sent5: if that the Siren is a kind of an approval that is Nicaean does not hold the Moonie is not an approval. sent6: if something either is stative or is not non-ankylotic or both then it is not Taoist. sent7: that something is a hornist is correct. sent8: if there is something such that that it does not insert raw and it is a germanite does not hold then that the Miro is a prang is correct. sent9: if something is not an approval that it is a Taoist and it is stative is not correct. sent10: the fact that something is a prang that is ankylotic is false if it is not stative. sent11: if the Moonie does not insert raw but it is a kind of a germanite then it is stative. sent12: the Moonie is not a kind of a hornist if the fact that it is a kind of a hornist that is Nicaean is false. sent13: something does not prang if the fact that it is a kind of a prang and it is ankylotic is incorrect.
void -> assump1: Let's assume that the Moonie does not insert raw but it is a germanite.; sent11 & assump1 -> int1: the Moonie is stative.; int1 -> int2: the Moonie is stative and/or it is ankylotic.; sent6 -> int3: the Moonie is not Taoist if it is either stative or ankylotic or both.; int2 & int3 -> int4: the Moonie is not a Taoist.; sent4 -> int5: the Moonie is Taoist and it is an approval if it is not a kind of a hornist.; sent12 & sent1 -> int6: the Moonie is not a kind of a hornist.; int5 & int6 -> int7: the Moonie is a Taoist and is an approval.; int7 -> int8: the Moonie is not non-Taoist.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the Moonie does not insert raw and is a kind of a germanite is not correct.; int10 -> int11: there is something such that the fact that it does not insert raw and it is a germanite is not correct.; int11 & sent8 -> hypothesis;
the Miro is not a kind of a prang.
sent13 -> int12: if the fact that that the Miro is a prang and it is ankylotic is correct does not hold then it does not prang.; sent10 -> int13: if the Miro is not stative then that it does prang and is ankylotic does not hold.; sent9 -> int14: if the Moonie is not a kind of an approval then the fact that it is both not non-Taoist and stative does not hold.;
$hypothesis$ = the Miro prangs. ; $context$ = sent1: that the Moonie is a hornist and it is not non-Nicaean does not hold. sent2: if the fact that the Moonie is a kind of a Neapolitan is not wrong then it is not a kind of a tumblebug. sent3: the virologist is Taoist. sent4: something is a kind of a Taoist that is an approval if it is not a hornist. sent5: if that the Siren is a kind of an approval that is Nicaean does not hold the Moonie is not an approval. sent6: if something either is stative or is not non-ankylotic or both then it is not Taoist. sent7: that something is a hornist is correct. sent8: if there is something such that that it does not insert raw and it is a germanite does not hold then that the Miro is a prang is correct. sent9: if something is not an approval that it is a Taoist and it is stative is not correct. sent10: the fact that something is a prang that is ankylotic is false if it is not stative. sent11: if the Moonie does not insert raw but it is a kind of a germanite then it is stative. sent12: the Moonie is not a kind of a hornist if the fact that it is a kind of a hornist that is Nicaean is false. sent13: something does not prang if the fact that it is a kind of a prang and it is ankylotic is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the Moonie does not insert raw but it is a germanite.; sent11 & assump1 -> int1: the Moonie is stative.; int1 -> int2: the Moonie is stative and/or it is ankylotic.; sent6 -> int3: the Moonie is not Taoist if it is either stative or ankylotic or both.; int2 & int3 -> int4: the Moonie is not a Taoist.; sent4 -> int5: the Moonie is Taoist and it is an approval if it is not a kind of a hornist.; sent12 & sent1 -> int6: the Moonie is not a kind of a hornist.; int5 & int6 -> int7: the Moonie is a Taoist and is an approval.; int7 -> int8: the Moonie is not non-Taoist.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the Moonie does not insert raw and is a kind of a germanite is not correct.; int10 -> int11: there is something such that the fact that it does not insert raw and it is a germanite is not correct.; int11 & sent8 -> hypothesis; __PROVED__