the fact that the sarcosine does lob trammel is not false if the beater bans guilt.
sent1: the sarcosine is not non-kinetic if the awning lobs trammel. sent2: the sarcosine is kinetic. sent3: something bans guilt if it lobs trammel. sent4: the awning does whish. sent5: the sarcosine is a kind of a report. sent6: the awning is cubic if the fact that the beater does ban guilt is right. sent7: the tinsmith is kinetic. sent8: the awning is kinetic if the beater is cubic. sent9: if the sarcosine is cubic then the awning does lob trammel. sent10: the beater lobs trammel. sent11: if the awning is not non-kinetic it does lob trammel. sent12: the beater is a millenarian. sent13: the sarcosine is kinetic if the fact that it lobs trammel is correct. sent14: the fact that the awning bans guilt if the beater is kinetic is not incorrect. sent15: the pug lobs trammel. sent16: the latecomer bans guilt. sent17: something is kinetic if that it lobs trammel hold. sent18: the sarcosine does lob trammel if the awning is kinetic. sent19: the beater is kinetic. sent20: the sarcosine is cubic if the awning lobs trammel. sent21: something does ban guilt if it is cubic.
void -> assump1: Let's assume that the beater bans guilt.; sent6 & assump1 -> int1: the awning is cubic.;
$hypothesis$ = the fact that the sarcosine does lob trammel is not false if the beater bans guilt. ; $context$ = sent1: the sarcosine is not non-kinetic if the awning lobs trammel. sent2: the sarcosine is kinetic. sent3: something bans guilt if it lobs trammel. sent4: the awning does whish. sent5: the sarcosine is a kind of a report. sent6: the awning is cubic if the fact that the beater does ban guilt is right. sent7: the tinsmith is kinetic. sent8: the awning is kinetic if the beater is cubic. sent9: if the sarcosine is cubic then the awning does lob trammel. sent10: the beater lobs trammel. sent11: if the awning is not non-kinetic it does lob trammel. sent12: the beater is a millenarian. sent13: the sarcosine is kinetic if the fact that it lobs trammel is correct. sent14: the fact that the awning bans guilt if the beater is kinetic is not incorrect. sent15: the pug lobs trammel. sent16: the latecomer bans guilt. sent17: something is kinetic if that it lobs trammel hold. sent18: the sarcosine does lob trammel if the awning is kinetic. sent19: the beater is kinetic. sent20: the sarcosine is cubic if the awning lobs trammel. sent21: something does ban guilt if it is cubic. ; $proof$ = 
void -> assump1: Let's assume that the beater bans guilt.; sent6 & assump1 -> int1: the awning is cubic.; __UNKNOWN__