the playhouse is non-reptilian thing that is not a kind of a submersion.
sent1: if that something is gutless but it does not urticate chieftaincy is not true it is not solar. sent2: the prospectus does not jar Jung if the fact that it is an anagram that is not a hopelessness does not hold. sent3: if something is a kind of non-insurrectional thing that is orthotropous then it is a kind of an anagram. sent4: the prospectus is not insurrectional. sent5: the prospectus is not insurrectional but it is orthotropous if it is a Marine. sent6: something is not reptilian if that it is reptilian and non-solar is not right. sent7: if the fact that something is a kind of orthotropous thing that is not reptilian is not true then it does not anagram. sent8: that the playhouse is not reptilian and it is not a submersion does not hold if that the prospectus is not a submersion is not wrong. sent9: the fact that something is not a submersion hold if it is not solar. sent10: if something is gutless but it does not urticate chieftaincy then it is not an anagram. sent11: if the prospectus is not a submersion the fact that the fact that the playhouse is non-reptilian but it is a kind of a submersion is not correct is not incorrect. sent12: the prospectus is a Marine.
sent10 -> int1: if the prospectus is gutless but it does not urticate chieftaincy then it is not an anagram.; void -> assump1: Let's assume that the fact that the prospectus is gutless and does not urticate chieftaincy is right.; int1 & assump1 -> int2: the prospectus is not an anagram.; sent3 -> int3: if the prospectus is both not insurrectional and orthotropous it anagrams.; sent5 & sent12 -> int4: the prospectus is not insurrectional but it is orthotropous.; int3 & int4 -> int5: the prospectus does anagram.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the fact that the prospectus is gutless and does not urticate chieftaincy does not hold hold.; sent1 -> int8: if the fact that that the prospectus is gutless but it does not urticate chieftaincy does not hold is not incorrect it is not solar.; int7 & int8 -> int9: the prospectus is not solar.; sent9 -> int10: the prospectus is not a kind of a submersion if it is not solar.; int9 & int10 -> int11: the fact that the prospectus is not a kind of a submersion is not wrong.; int11 & sent8 -> hypothesis;
the playhouse is non-reptilian thing that is not a submersion.
sent6 -> int12: if that the playhouse is a kind of reptilian thing that is not solar is wrong it is not reptilian.;
$hypothesis$ = the playhouse is non-reptilian thing that is not a kind of a submersion. ; $context$ = sent1: if that something is gutless but it does not urticate chieftaincy is not true it is not solar. sent2: the prospectus does not jar Jung if the fact that it is an anagram that is not a hopelessness does not hold. sent3: if something is a kind of non-insurrectional thing that is orthotropous then it is a kind of an anagram. sent4: the prospectus is not insurrectional. sent5: the prospectus is not insurrectional but it is orthotropous if it is a Marine. sent6: something is not reptilian if that it is reptilian and non-solar is not right. sent7: if the fact that something is a kind of orthotropous thing that is not reptilian is not true then it does not anagram. sent8: that the playhouse is not reptilian and it is not a submersion does not hold if that the prospectus is not a submersion is not wrong. sent9: the fact that something is not a submersion hold if it is not solar. sent10: if something is gutless but it does not urticate chieftaincy then it is not an anagram. sent11: if the prospectus is not a submersion the fact that the fact that the playhouse is non-reptilian but it is a kind of a submersion is not correct is not incorrect. sent12: the prospectus is a Marine. ; $proof$ = 
sent10 -> int1: if the prospectus is gutless but it does not urticate chieftaincy then it is not an anagram.; void -> assump1: Let's assume that the fact that the prospectus is gutless and does not urticate chieftaincy is right.; int1 & assump1 -> int2: the prospectus is not an anagram.; sent3 -> int3: if the prospectus is both not insurrectional and orthotropous it anagrams.; sent5 & sent12 -> int4: the prospectus is not insurrectional but it is orthotropous.; int3 & int4 -> int5: the prospectus does anagram.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the fact that the prospectus is gutless and does not urticate chieftaincy does not hold hold.; sent1 -> int8: if the fact that that the prospectus is gutless but it does not urticate chieftaincy does not hold is not incorrect it is not solar.; int7 & int8 -> int9: the prospectus is not solar.; sent9 -> int10: the prospectus is not a kind of a submersion if it is not solar.; int9 & int10 -> int11: the fact that the prospectus is not a kind of a submersion is not wrong.; int11 & sent8 -> hypothesis; __DISPROVED__