the fact that the fact that the floret is Einsteinian but it is not a neurolinguist is not true if the mater is a kind of a thermal is false.
sent1: the salami is invertebrate. sent2: if something is a rustle it is thermal. sent3: the mater does foreshow Gershwin if the springboard is an invertebrate. sent4: there are non-congestive things. sent5: the fact that something is an invertebrate is true if it hypothecates floret. sent6: if something that does foreshow Gershwin is thermal then that it is not a neurolinguist is right. sent7: the fact that the springboard is a neurolinguist but it is not a gone is incorrect. sent8: something does not foreshow abetment. sent9: the springboard is adequate but it does not doctor intemperance. sent10: the springboard is a rustle and it hypothecates floret if there exists something such that it is not congestive. sent11: that the springboard is a kind of thermal thing that does not hypothecate floret does not hold if the mater is a neurolinguist. sent12: the fact that the floret is Einsteinian and is not a neurolinguist is wrong if the mater is not a neurolinguist.
sent4 & sent10 -> int1: the springboard is a rustle and it does hypothecate floret.; int1 -> int2: the fact that the springboard does hypothecate floret is not incorrect.; sent5 -> int3: if the springboard does hypothecate floret then it is a kind of an invertebrate.; int2 & int3 -> int4: the fact that the springboard is an invertebrate is not false.; int4 & sent3 -> int5: the mater does foreshow Gershwin.; void -> assump1: Let's assume that the mater is a thermal.; int5 & assump1 -> int6: the mater foreshows Gershwin and is a thermal.; sent6 -> int7: the mater is not a neurolinguist if it foreshows Gershwin and is a thermal.; int6 & int7 -> int8: the mater is not a neurolinguist.; int8 & sent12 -> int9: the fact that the floret is Einsteinian but not a neurolinguist is false.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that the fact that the floret is Einsteinian but it is not a neurolinguist is not true if the mater is a kind of a thermal is false. ; $context$ = sent1: the salami is invertebrate. sent2: if something is a rustle it is thermal. sent3: the mater does foreshow Gershwin if the springboard is an invertebrate. sent4: there are non-congestive things. sent5: the fact that something is an invertebrate is true if it hypothecates floret. sent6: if something that does foreshow Gershwin is thermal then that it is not a neurolinguist is right. sent7: the fact that the springboard is a neurolinguist but it is not a gone is incorrect. sent8: something does not foreshow abetment. sent9: the springboard is adequate but it does not doctor intemperance. sent10: the springboard is a rustle and it hypothecates floret if there exists something such that it is not congestive. sent11: that the springboard is a kind of thermal thing that does not hypothecate floret does not hold if the mater is a neurolinguist. sent12: the fact that the floret is Einsteinian and is not a neurolinguist is wrong if the mater is not a neurolinguist. ; $proof$ = 
sent4 & sent10 -> int1: the springboard is a rustle and it does hypothecate floret.; int1 -> int2: the fact that the springboard does hypothecate floret is not incorrect.; sent5 -> int3: if the springboard does hypothecate floret then it is a kind of an invertebrate.; int2 & int3 -> int4: the fact that the springboard is an invertebrate is not false.; int4 & sent3 -> int5: the mater does foreshow Gershwin.; void -> assump1: Let's assume that the mater is a thermal.; int5 & assump1 -> int6: the mater foreshows Gershwin and is a thermal.; sent6 -> int7: the mater is not a neurolinguist if it foreshows Gershwin and is a thermal.; int6 & int7 -> int8: the mater is not a neurolinguist.; int8 & sent12 -> int9: the fact that the floret is Einsteinian but not a neurolinguist is false.; [assump1] & int9 -> hypothesis; __DISPROVED__