the hoist is Bayesian and it is infantile if the wattage is not Gauguinesque.
sent1: if the wattage is a kind of non-Gauguinesque thing that is not a kind of a unwholesomeness the fact that the hoist is infantile is not incorrect. sent2: everything is not a guiding and does not guarantee wattage. sent3: if the fact that something does not guide and does not guarantee wattage is correct the fact that it guarantees path is not false. sent4: something is Bayesian if it guarantees path. sent5: something guarantees path if it is not a kind of a guiding and does guarantee wattage. sent6: the wattage is not infantile. sent7: if the wattage is not a kind of a saprobe and guarantees Earhart then that it is a unwholesomeness is not correct. sent8: that the wattage is not a saprobe but it guarantees Earhart is not wrong. sent9: the wattage is not a kind of a saprobe.
sent7 & sent8 -> int1: the wattage is not a unwholesomeness.; void -> assump1: Let's assume that the wattage is non-Gauguinesque.; int1 & assump1 -> int2: the wattage is non-Gauguinesque and it is not a unwholesomeness.; int2 & sent1 -> int3: the hoist is infantile.; sent4 -> int4: the hoist is Bayesian if it does guarantee path.; sent3 -> int5: if the hoist is not a guiding and does not guarantee wattage it guarantees path.; sent2 -> int6: the hoist is not a guiding and does not guarantee wattage.; int5 & int6 -> int7: the hoist guarantees path.; int4 & int7 -> int8: the hoist is Bayesian.; int3 & int8 -> int9: the hoist is not non-Bayesian and not non-infantile.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the hoist is Bayesian and it is infantile if the wattage is not Gauguinesque. ; $context$ = sent1: if the wattage is a kind of non-Gauguinesque thing that is not a kind of a unwholesomeness the fact that the hoist is infantile is not incorrect. sent2: everything is not a guiding and does not guarantee wattage. sent3: if the fact that something does not guide and does not guarantee wattage is correct the fact that it guarantees path is not false. sent4: something is Bayesian if it guarantees path. sent5: something guarantees path if it is not a kind of a guiding and does guarantee wattage. sent6: the wattage is not infantile. sent7: if the wattage is not a kind of a saprobe and guarantees Earhart then that it is a unwholesomeness is not correct. sent8: that the wattage is not a saprobe but it guarantees Earhart is not wrong. sent9: the wattage is not a kind of a saprobe. ; $proof$ = 
sent7 & sent8 -> int1: the wattage is not a unwholesomeness.; void -> assump1: Let's assume that the wattage is non-Gauguinesque.; int1 & assump1 -> int2: the wattage is non-Gauguinesque and it is not a unwholesomeness.; int2 & sent1 -> int3: the hoist is infantile.; sent4 -> int4: the hoist is Bayesian if it does guarantee path.; sent3 -> int5: if the hoist is not a guiding and does not guarantee wattage it guarantees path.; sent2 -> int6: the hoist is not a guiding and does not guarantee wattage.; int5 & int6 -> int7: the hoist guarantees path.; int4 & int7 -> int8: the hoist is Bayesian.; int3 & int8 -> int9: the hoist is not non-Bayesian and not non-infantile.; [assump1] & int9 -> hypothesis; __PROVED__