The cat eats the tiger. The cat sees the tiger. The mouse eats the cat. The mouse eats the tiger. The mouse is kind. The mouse is rough. The mouse likes the cat. The mouse likes the tiger. The tiger is kind. The tiger is rough. The tiger is round. The tiger likes the cat. The tiger likes the mouse. The tiger sees the cat. The tiger sees the mouse. If something likes the mouse then it sees the mouse. If something eats the cat then it sees the cat. If something sees the cat and it is rough then it likes the mouse.
The mouse likes the mouse.
@0: The cat eats the tiger.[(triple1)] The cat sees the tiger.[(triple2)] The mouse eats the cat.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the cat.[(triple7)] The mouse likes the tiger.[(triple8)] The tiger is kind.[(triple9)] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger likes the cat.[(triple12)] The tiger likes the mouse.[(triple13 OR ((triple14 triple10) -> rule3))] The tiger sees the cat.[(triple14)] The tiger sees the mouse.[(triple15 OR ((triple13) -> rule1) OR ((((triple14 triple10) -> rule3)) -> rule1))] @1: The mouse sees the cat.[(((triple3) -> rule2))] @2: The mouse likes the mouse.[(((((triple3) -> rule2) triple6) -> rule3))] @3: The mouse sees the mouse.[(((((((triple3) -> rule2) triple6) -> rule3)) -> rule1))]