the cetacean does not fabricate lantana.
sent1: something is a hack if it is a kind of a Tragopogon. sent2: if the upholsterer beds internationality then that it is Moravian is not wrong. sent3: The afterdamp broils candlenut. sent4: if something broils afterdamp then it is a camcorder. sent5: the lantana is a kind of non-Moravian thing that does not bed internationality. sent6: if the candlenut does broil afterdamp but it does not bed internationality then the upholsterer does not bed internationality. sent7: if the lantana is non-Moravian and does not bed internationality the upholsterer does not bed internationality. sent8: the fact that if the upholsterer is a hack that broils moonlight the candlenut is not a kind of a camcorder is not false. sent9: if the lantana is Moravian then it is a Tragopogon. sent10: the cetacean is a camcorder. sent11: the fact that the upholsterer is a Tragopogon is not false if something is not a versicle. sent12: the lantana hacks. sent13: the candlenut broils afterdamp. sent14: there exists something such that it is not a kind of a versicle. sent15: if the upholsterer does not broil moonlight and it does not bed internationality the cetacean does not fabricate lantana.
sent14 & sent11 -> int1: the upholsterer is a Tragopogon.; sent1 -> int2: the upholsterer is a hack if it is a Tragopogon.; int1 & int2 -> int3: the upholsterer does hack.; void -> assump1: Let's assume that the upholsterer does broil moonlight.; int3 & assump1 -> int4: the upholsterer is a hack and it does broil moonlight.; int4 & sent8 -> int5: the candlenut is not a kind of a camcorder.; sent4 -> int6: the candlenut is a camcorder if it does broil afterdamp.; int6 & sent13 -> int7: that the candlenut is a camcorder hold.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the upholsterer does not broil moonlight.; sent7 & sent5 -> int10: the upholsterer does not bed internationality.; int9 & int10 -> int11: the upholsterer does not broil moonlight and does not bed internationality.; int11 & sent15 -> hypothesis;
$hypothesis$ = the cetacean does not fabricate lantana. ; $context$ = sent1: something is a hack if it is a kind of a Tragopogon. sent2: if the upholsterer beds internationality then that it is Moravian is not wrong. sent3: The afterdamp broils candlenut. sent4: if something broils afterdamp then it is a camcorder. sent5: the lantana is a kind of non-Moravian thing that does not bed internationality. sent6: if the candlenut does broil afterdamp but it does not bed internationality then the upholsterer does not bed internationality. sent7: if the lantana is non-Moravian and does not bed internationality the upholsterer does not bed internationality. sent8: the fact that if the upholsterer is a hack that broils moonlight the candlenut is not a kind of a camcorder is not false. sent9: if the lantana is Moravian then it is a Tragopogon. sent10: the cetacean is a camcorder. sent11: the fact that the upholsterer is a Tragopogon is not false if something is not a versicle. sent12: the lantana hacks. sent13: the candlenut broils afterdamp. sent14: there exists something such that it is not a kind of a versicle. sent15: if the upholsterer does not broil moonlight and it does not bed internationality the cetacean does not fabricate lantana. ; $proof$ = 
sent14 & sent11 -> int1: the upholsterer is a Tragopogon.; sent1 -> int2: the upholsterer is a hack if it is a Tragopogon.; int1 & int2 -> int3: the upholsterer does hack.; void -> assump1: Let's assume that the upholsterer does broil moonlight.; int3 & assump1 -> int4: the upholsterer is a hack and it does broil moonlight.; int4 & sent8 -> int5: the candlenut is not a kind of a camcorder.; sent4 -> int6: the candlenut is a camcorder if it does broil afterdamp.; int6 & sent13 -> int7: that the candlenut is a camcorder hold.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the upholsterer does not broil moonlight.; sent7 & sent5 -> int10: the upholsterer does not bed internationality.; int9 & int10 -> int11: the upholsterer does not broil moonlight and does not bed internationality.; int11 & sent15 -> hypothesis; __PROVED__