something does restrain Tobit and it is a kind of a villainy.
sent1: there exists something such that it is a kind of a villainy. sent2: something is ameboid and it is a kind of a villainy. sent3: something does restrain Tobit. sent4: the executor is ameboid. sent5: there exists something such that it is ameboid. sent6: if the executor is ameboid the roughage does restrain Tobit. sent7: the roughage felts.
sent6 & sent4 -> int1: the roughage restrains Tobit.;
$hypothesis$ = something does restrain Tobit and it is a kind of a villainy. ; $context$ = sent1: there exists something such that it is a kind of a villainy. sent2: something is ameboid and it is a kind of a villainy. sent3: something does restrain Tobit. sent4: the executor is ameboid. sent5: there exists something such that it is ameboid. sent6: if the executor is ameboid the roughage does restrain Tobit. sent7: the roughage felts. ; $proof$ = 
sent6 & sent4 -> int1: the roughage restrains Tobit.; __UNKNOWN__