The mouse eats the squirrel. The mouse sees the squirrel. The mouse does not see the tiger. The mouse visits the tiger. The squirrel is rough. The squirrel is round. The squirrel is not young. The tiger eats the squirrel. The tiger is nice. The tiger visits the mouse. If someone eats the mouse and the mouse sees the tiger then they are rough. All young people are rough. If the squirrel sees the mouse and the mouse eats the tiger then the squirrel is not nice. All cold people are not round. If the tiger sees the squirrel and the tiger eats the mouse then the tiger is not rough. Nice people are young. If someone is young and rough then they see the tiger. If someone sees the mouse and they visit the squirrel then the squirrel is round.
The tiger sees the mouse.
@0: The mouse does not see the tiger.[(triple3)] The mouse eats the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The mouse visits the tiger.[(triple4)] The squirrel is not young.[(triple7)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6)] The tiger eats the squirrel.[(triple8)] The tiger is nice.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The tiger is young.[(((triple9) -> rule6))] @2: The tiger is rough.[(((((triple9) -> rule6)) -> rule2))] @3: The tiger sees the tiger.[(((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule7))]