that something does proliferate Lindbergh but it does not French wheat is not right.
sent1: if the wheat does not proliferate Lindbergh the disa does proliferate Lindbergh and does not French wheat. sent2: if the wheat proliferates charcoal it is informal. sent3: if the wheat proliferates Lindbergh it does proliferate charcoal. sent4: if something is informal and/or is a kind of a deviation then it is not a mash. sent5: the wheat is cervical. sent6: if the wheat is cervical then it is not chorionic. sent7: if that the wheat is not chorionic is right then it does French Lathyrus and is a mash.
void -> assump1: Let's assume that the wheat does proliferate Lindbergh.; sent3 & assump1 -> int1: the wheat proliferates charcoal.; int1 & sent2 -> int2: the wheat is informal.; int2 -> int3: either the wheat is informal or it is a kind of a deviation or both.; sent4 -> int4: if the wheat is informal and/or it is a deviation then it is not a mash.; int3 & int4 -> int5: the wheat is not a mash.; sent6 & sent5 -> int6: the wheat is not chorionic.; sent7 & int6 -> int7: the wheat Frenches Lathyrus and is a kind of a mash.; int7 -> int8: the wheat is a mash.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the wheat does not proliferate Lindbergh.; int10 & sent1 -> int11: the disa proliferates Lindbergh and does not French wheat.; int11 -> hypothesis;
$hypothesis$ = that something does proliferate Lindbergh but it does not French wheat is not right. ; $context$ = sent1: if the wheat does not proliferate Lindbergh the disa does proliferate Lindbergh and does not French wheat. sent2: if the wheat proliferates charcoal it is informal. sent3: if the wheat proliferates Lindbergh it does proliferate charcoal. sent4: if something is informal and/or is a kind of a deviation then it is not a mash. sent5: the wheat is cervical. sent6: if the wheat is cervical then it is not chorionic. sent7: if that the wheat is not chorionic is right then it does French Lathyrus and is a mash. ; $proof$ = 
void -> assump1: Let's assume that the wheat does proliferate Lindbergh.; sent3 & assump1 -> int1: the wheat proliferates charcoal.; int1 & sent2 -> int2: the wheat is informal.; int2 -> int3: either the wheat is informal or it is a kind of a deviation or both.; sent4 -> int4: if the wheat is informal and/or it is a deviation then it is not a mash.; int3 & int4 -> int5: the wheat is not a mash.; sent6 & sent5 -> int6: the wheat is not chorionic.; sent7 & int6 -> int7: the wheat Frenches Lathyrus and is a kind of a mash.; int7 -> int8: the wheat is a mash.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the wheat does not proliferate Lindbergh.; int10 & sent1 -> int11: the disa proliferates Lindbergh and does not French wheat.; int11 -> hypothesis; __DISPROVED__