that the placebo cultures calefaction and is not a kind of a Paraguayan does not hold.
sent1: if the placebo is a knout the fact that it does culture calefaction is right. sent2: the spelt is migratory. sent3: if something indexes vegetarianism the placebo is a knout. sent4: if something is a Paraguayan then it is a channelization. sent5: if that something is a kind of non-migratory thing that does not bum is not true it does not color tyrolean. sent6: that the jerk does not color tyrolean but it is a switch-ivy is false. sent7: that the assessor is not migratory and it does not bum is false if the placebo is a kind of a channelization. sent8: if there exists something such that the fact that it does not color tyrolean and it is a switch-ivy is not correct the assessor does color tyrolean. sent9: something does index vegetarianism.
sent4 -> int1: if the placebo is a Paraguayan it is a channelization.; void -> assump1: Let's assume that the placebo is Paraguayan.; int1 & assump1 -> int2: the placebo is a channelization.; int2 & sent7 -> int3: that the assessor is not migratory and does not bum is false.; sent5 -> int4: the assessor does not color tyrolean if the fact that it is nonmigratory and it does not bum is not right.; int3 & int4 -> int5: the assessor does not color tyrolean.; sent6 -> int6: there is something such that the fact that it does not color tyrolean and is a switch-ivy is not true.; int6 & sent8 -> int7: the assessor colors tyrolean.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the placebo is not a Paraguayan.; sent9 & sent3 -> int10: the placebo is a knout.; sent1 & int10 -> int11: the placebo does culture calefaction.; int9 & int11 -> hypothesis;
$hypothesis$ = that the placebo cultures calefaction and is not a kind of a Paraguayan does not hold. ; $context$ = sent1: if the placebo is a knout the fact that it does culture calefaction is right. sent2: the spelt is migratory. sent3: if something indexes vegetarianism the placebo is a knout. sent4: if something is a Paraguayan then it is a channelization. sent5: if that something is a kind of non-migratory thing that does not bum is not true it does not color tyrolean. sent6: that the jerk does not color tyrolean but it is a switch-ivy is false. sent7: that the assessor is not migratory and it does not bum is false if the placebo is a kind of a channelization. sent8: if there exists something such that the fact that it does not color tyrolean and it is a switch-ivy is not correct the assessor does color tyrolean. sent9: something does index vegetarianism. ; $proof$ = 
sent4 -> int1: if the placebo is a Paraguayan it is a channelization.; void -> assump1: Let's assume that the placebo is Paraguayan.; int1 & assump1 -> int2: the placebo is a channelization.; int2 & sent7 -> int3: that the assessor is not migratory and does not bum is false.; sent5 -> int4: the assessor does not color tyrolean if the fact that it is nonmigratory and it does not bum is not right.; int3 & int4 -> int5: the assessor does not color tyrolean.; sent6 -> int6: there is something such that the fact that it does not color tyrolean and is a switch-ivy is not true.; int6 & sent8 -> int7: the assessor colors tyrolean.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the placebo is not a Paraguayan.; sent9 & sent3 -> int10: the placebo is a knout.; sent1 & int10 -> int11: the placebo does culture calefaction.; int9 & int11 -> hypothesis; __DISPROVED__