that the fact that the spic is non-guttural and does barbarize nature is false if the instillator does not sedate is incorrect.
sent1: the spic barbarizes nature. sent2: if something that is not a kind of a guttural does barbarize nature then it is extensive. sent3: if the spic does not group Mosan or overturns exceedance or both the instillator sedates. sent4: if something is extensive it does not group Mosan or it does overturn exceedance or both. sent5: that the spic is guttural and it barbarizes nature is incorrect.
sent2 -> int1: if the spic is not a kind of a guttural but it barbarizes nature then that it is extensive is right.; void -> assump1: Let's assume that the spic is not a kind of a guttural and does barbarize nature.; int1 & assump1 -> int2: the spic is extensive.; sent4 -> int3: the spic does not group Mosan or overturns exceedance or both if it is extensive.; int2 & int3 -> int4: the fact that the spic does not group Mosan and/or overturns exceedance is not false.; int4 & sent3 -> int5: that the instillator sedates is not wrong.; void -> assump2: Let's assume that the instillator does not sedate.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the spic is not guttural and does barbarize nature is incorrect.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that the fact that the spic is non-guttural and does barbarize nature is false if the instillator does not sedate is incorrect. ; $context$ = sent1: the spic barbarizes nature. sent2: if something that is not a kind of a guttural does barbarize nature then it is extensive. sent3: if the spic does not group Mosan or overturns exceedance or both the instillator sedates. sent4: if something is extensive it does not group Mosan or it does overturn exceedance or both. sent5: that the spic is guttural and it barbarizes nature is incorrect. ; $proof$ = 
sent2 -> int1: if the spic is not a kind of a guttural but it barbarizes nature then that it is extensive is right.; void -> assump1: Let's assume that the spic is not a kind of a guttural and does barbarize nature.; int1 & assump1 -> int2: the spic is extensive.; sent4 -> int3: the spic does not group Mosan or overturns exceedance or both if it is extensive.; int2 & int3 -> int4: the fact that the spic does not group Mosan and/or overturns exceedance is not false.; int4 & sent3 -> int5: that the instillator sedates is not wrong.; void -> assump2: Let's assume that the instillator does not sedate.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the spic is not guttural and does barbarize nature is incorrect.; [assump2] & int7 -> hypothesis; __DISPROVED__