that the belching does not power and is a forte does not hold.
sent1: something is a kind of a forte if it does roughen. sent2: the Fuji does roughen and it is a kind of a ketamine. sent3: if the Fuji is a ketamine the fact that it is not a held and does not roughen is not right. sent4: the chelate does evict Chickasaw. sent5: if the Fuji does not hold then that the belching is not a power and is forte is not right. sent6: The Chickasaw does evict chelate.
sent2 -> int1: the Fuji roughens.; void -> assump1: Let's assume that the Fuji does hold.; int1 & assump1 -> int2: the Fuji does roughen and is a held.;
the chelate is a forte.
sent1 -> int3: if the chelate does roughen then it is a kind of a forte.;
$hypothesis$ = that the belching does not power and is a forte does not hold. ; $context$ = sent1: something is a kind of a forte if it does roughen. sent2: the Fuji does roughen and it is a kind of a ketamine. sent3: if the Fuji is a ketamine the fact that it is not a held and does not roughen is not right. sent4: the chelate does evict Chickasaw. sent5: if the Fuji does not hold then that the belching is not a power and is forte is not right. sent6: The Chickasaw does evict chelate. ; $proof$ = 
sent2 -> int1: the Fuji roughens.; void -> assump1: Let's assume that the Fuji does hold.; int1 & assump1 -> int2: the Fuji does roughen and is a held.; __UNKNOWN__