the highbinder is not actinal.
sent1: the pinstripe does tweedle addle-head if it is a kind of a suggester. sent2: the highbinder is a pothead if the myrmecophyte is a kind of a pothead but it is not higher. sent3: something rigs. sent4: something does not tweedle addle-head if it is not higher. sent5: the pinstripe is a suggester and it is a kind of a rigging. sent6: if the shrike does rig and/or it is a pothead then the myrmecophyte is not a allusiveness. sent7: the pinstripe is weedless. sent8: if there is something such that that it is not a kind of a allusiveness and it is weedless is false the fact that the highbinder is actinal is correct. sent9: if the fact that something is actinal but it does not abdicate landlady is not right then it is not actinal. sent10: that the pinstripe is not higher is not wrong if the myrmecophyte is a kind of a pothead or does abdicate landlady or both. sent11: that the myrmecophyte is a suggester is true. sent12: if the myrmecophyte is a suggester then the fact that it is a allusiveness and is not a kind of a pothead is not right. sent13: if the fact that something does not abdicate landlady hold then the fact that the shrike is not a allusiveness but it is weedless is false. sent14: if something is a pothead that it is actinal and it does not abdicate landlady is not correct.
void -> assump1: Let's assume that the myrmecophyte does abdicate landlady.; assump1 -> int1: the myrmecophyte is a pothead and/or it does abdicate landlady.; int1 & sent10 -> int2: the pinstripe is not higher.; sent4 -> int3: the pinstripe does not tweedle addle-head if it is not higher.; int2 & int3 -> int4: the pinstripe does not tweedle addle-head.; sent5 -> int5: that the pinstripe is a suggester is right.; sent1 & int5 -> int6: the pinstripe does tweedle addle-head.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the myrmecophyte does not abdicate landlady.; int8 -> int9: there exists something such that it does not abdicate landlady.; int9 & sent13 -> int10: that the shrike is not a allusiveness but it is weedless is not correct.; int10 -> int11: there is something such that that it is not a allusiveness but weedless does not hold.; int11 & sent8 -> hypothesis;
the highbinder is not actinal.
sent9 -> int12: if the fact that the highbinder is actinal and does not abdicate landlady does not hold then it is not actinal.; sent14 -> int13: that the highbinder is actinal thing that does not abdicate landlady does not hold if it is a pothead.; sent12 & sent11 -> int14: that the myrmecophyte is a allusiveness and is not a pothead is incorrect.;
$hypothesis$ = the highbinder is not actinal. ; $context$ = sent1: the pinstripe does tweedle addle-head if it is a kind of a suggester. sent2: the highbinder is a pothead if the myrmecophyte is a kind of a pothead but it is not higher. sent3: something rigs. sent4: something does not tweedle addle-head if it is not higher. sent5: the pinstripe is a suggester and it is a kind of a rigging. sent6: if the shrike does rig and/or it is a pothead then the myrmecophyte is not a allusiveness. sent7: the pinstripe is weedless. sent8: if there is something such that that it is not a kind of a allusiveness and it is weedless is false the fact that the highbinder is actinal is correct. sent9: if the fact that something is actinal but it does not abdicate landlady is not right then it is not actinal. sent10: that the pinstripe is not higher is not wrong if the myrmecophyte is a kind of a pothead or does abdicate landlady or both. sent11: that the myrmecophyte is a suggester is true. sent12: if the myrmecophyte is a suggester then the fact that it is a allusiveness and is not a kind of a pothead is not right. sent13: if the fact that something does not abdicate landlady hold then the fact that the shrike is not a allusiveness but it is weedless is false. sent14: if something is a pothead that it is actinal and it does not abdicate landlady is not correct. ; $proof$ = 
void -> assump1: Let's assume that the myrmecophyte does abdicate landlady.; assump1 -> int1: the myrmecophyte is a pothead and/or it does abdicate landlady.; int1 & sent10 -> int2: the pinstripe is not higher.; sent4 -> int3: the pinstripe does not tweedle addle-head if it is not higher.; int2 & int3 -> int4: the pinstripe does not tweedle addle-head.; sent5 -> int5: that the pinstripe is a suggester is right.; sent1 & int5 -> int6: the pinstripe does tweedle addle-head.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the myrmecophyte does not abdicate landlady.; int8 -> int9: there exists something such that it does not abdicate landlady.; int9 & sent13 -> int10: that the shrike is not a allusiveness but it is weedless is not correct.; int10 -> int11: there is something such that that it is not a allusiveness but weedless does not hold.; int11 & sent8 -> hypothesis; __DISPROVED__