the fact that the spur is not a selva but it is not nonthermal is wrong.
sent1: the spur is not a selva and is thermal if the in-basket is not a kind of a selva. sent2: if the fact that something is not a Malopterurus hold then the in-basket is not a Malopterurus. sent3: if something is a kind of a selva it does ignore flannelbush. sent4: the hemimorphite does not ignore leptosporangium if the in-basket does not ignore leptosporangium. sent5: if something ignores flannelbush it is a Malopterurus. sent6: there exists something such that it does ignore leptosporangium and it is a Malopterurus. sent7: the fact that something is both not a selva and a thermal is not true if it is not a Malopterurus. sent8: that if something does ignore Atropidae the fact that the hemimorphite does ignore leptosporangium and is a Malopterurus is wrong is true. sent9: there exists something such that it does ignore Atropidae. sent10: if there is something such that that it does ignore leptosporangium and is a Malopterurus does not hold the fact that the in-basket is not a kind of a Malopterurus is not wrong. sent11: something does not ignore Atropidae and it does not ignore flannelbush if it does not ignore leptosporangium.
sent3 -> int1: if the in-basket is a selva it does ignore flannelbush.; void -> assump1: Let's assume that the in-basket is a selva.; int1 & assump1 -> int2: the in-basket ignores flannelbush.; sent5 -> int3: the in-basket is a kind of a Malopterurus if it does ignore flannelbush.; int2 & int3 -> int4: the in-basket is a kind of a Malopterurus.; sent9 & sent8 -> int5: the fact that the hemimorphite ignores leptosporangium and is a Malopterurus does not hold.; int5 -> int6: there exists something such that the fact that it ignores leptosporangium and is a Malopterurus is incorrect.; int6 & sent10 -> int7: the in-basket is not a Malopterurus.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the in-basket is not a selva.; int9 & sent1 -> hypothesis;
that the spur is not a kind of a selva and is thermal is incorrect.
sent7 -> int10: if the spur is not a Malopterurus that it is not a selva but thermal is false.; sent11 -> int11: the hemimorphite does not ignore Atropidae and does not ignore flannelbush if it does not ignore leptosporangium.;
$hypothesis$ = the fact that the spur is not a selva but it is not nonthermal is wrong. ; $context$ = sent1: the spur is not a selva and is thermal if the in-basket is not a kind of a selva. sent2: if the fact that something is not a Malopterurus hold then the in-basket is not a Malopterurus. sent3: if something is a kind of a selva it does ignore flannelbush. sent4: the hemimorphite does not ignore leptosporangium if the in-basket does not ignore leptosporangium. sent5: if something ignores flannelbush it is a Malopterurus. sent6: there exists something such that it does ignore leptosporangium and it is a Malopterurus. sent7: the fact that something is both not a selva and a thermal is not true if it is not a Malopterurus. sent8: that if something does ignore Atropidae the fact that the hemimorphite does ignore leptosporangium and is a Malopterurus is wrong is true. sent9: there exists something such that it does ignore Atropidae. sent10: if there is something such that that it does ignore leptosporangium and is a Malopterurus does not hold the fact that the in-basket is not a kind of a Malopterurus is not wrong. sent11: something does not ignore Atropidae and it does not ignore flannelbush if it does not ignore leptosporangium. ; $proof$ = 
sent3 -> int1: if the in-basket is a selva it does ignore flannelbush.; void -> assump1: Let's assume that the in-basket is a selva.; int1 & assump1 -> int2: the in-basket ignores flannelbush.; sent5 -> int3: the in-basket is a kind of a Malopterurus if it does ignore flannelbush.; int2 & int3 -> int4: the in-basket is a kind of a Malopterurus.; sent9 & sent8 -> int5: the fact that the hemimorphite ignores leptosporangium and is a Malopterurus does not hold.; int5 -> int6: there exists something such that the fact that it ignores leptosporangium and is a Malopterurus is incorrect.; int6 & sent10 -> int7: the in-basket is not a Malopterurus.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the in-basket is not a selva.; int9 & sent1 -> hypothesis; __DISPROVED__