the macromolecule is not a hawkishness.
sent1: the sateen is not non-negative if the cataract is a non-negative. sent2: the catamaran is a causality. sent3: a IMU is a kind of a hawkishness. sent4: the sateen is not a negative if the macromolecule is a causality and it is a hawkishness. sent5: The firstborn does not erase martinet. sent6: the martinet does not erase firstborn. sent7: the cataract is not a kind of a hawkishness. sent8: if the martinet does not erase firstborn then the cataract is a kind of a negative and it is systematic. sent9: the macromolecule is not a IMU but it is a causality.
sent9 -> int1: the macromolecule is a kind of a causality.; void -> assump1: Let's assume that the macromolecule is a kind of a hawkishness.; int1 & assump1 -> int2: the macromolecule is a causality and it is a hawkishness.; int2 & sent4 -> int3: the sateen is not a kind of a negative.; sent8 & sent6 -> int4: the cataract is a kind of negative thing that is systematic.; int4 -> int5: the cataract is a negative.; sent1 & int5 -> int6: the sateen is negative.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the catamaran is a hawkishness and is a hypercellularity.
sent3 -> int8: if that the catamaran is a IMU is not incorrect then it is a hawkishness.;
$hypothesis$ = the macromolecule is not a hawkishness. ; $context$ = sent1: the sateen is not non-negative if the cataract is a non-negative. sent2: the catamaran is a causality. sent3: a IMU is a kind of a hawkishness. sent4: the sateen is not a negative if the macromolecule is a causality and it is a hawkishness. sent5: The firstborn does not erase martinet. sent6: the martinet does not erase firstborn. sent7: the cataract is not a kind of a hawkishness. sent8: if the martinet does not erase firstborn then the cataract is a kind of a negative and it is systematic. sent9: the macromolecule is not a IMU but it is a causality. ; $proof$ = 
sent9 -> int1: the macromolecule is a kind of a causality.; void -> assump1: Let's assume that the macromolecule is a kind of a hawkishness.; int1 & assump1 -> int2: the macromolecule is a causality and it is a hawkishness.; int2 & sent4 -> int3: the sateen is not a kind of a negative.; sent8 & sent6 -> int4: the cataract is a kind of negative thing that is systematic.; int4 -> int5: the cataract is a negative.; sent1 & int5 -> int6: the sateen is negative.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__