The cat eats the tiger. The cat is not kind. The cat is red. The cat is young. The cat likes the tiger. The mouse eats the tiger. The mouse is young. The mouse does not like the cat. The mouse visits the tiger. The tiger is red. The tiger does not like the cat. The tiger likes the mouse. If something likes the tiger and the tiger does not visit the mouse then the mouse visits the cat. If something is red then it eats the cat. If the mouse visits the cat and the cat does not visit the mouse then the mouse likes the cat. If something is nice then it does not eat the tiger. If something eats the cat then the cat visits the tiger. If something eats the tiger then it likes the mouse. If something eats the tiger and it visits the tiger then it is rough. If something is young then it eats the mouse.
The cat visits the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is not kind.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat likes the tiger.[(triple5)] The mouse does not like the cat.[(triple8)] The mouse eats the tiger.[(triple6)] The mouse is young.[(triple7)] The mouse visits the tiger.[(triple9)] The tiger does not like the cat.[(triple11)] The tiger is red.[(triple10)] The tiger likes the mouse.[(triple12)] @1: The cat eats the cat.[(((triple3) -> rule2))] The cat eats the mouse.[(((triple4) -> rule8))] The cat likes the mouse.[(((triple1) -> rule6))] The mouse eats the mouse.[(((triple7) -> rule8))] The mouse is rough.[(((triple6 triple9) -> rule7))] The mouse likes the mouse.[(((triple6) -> rule6))] The tiger eats the cat.[(((triple10) -> rule2))] @2: The cat visits the tiger.[(((((triple10) -> rule2)) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] @3: The cat is rough.[(((triple1 ((((triple10) -> rule2)) -> rule5)) -> rule7) OR ((triple1 ((((triple3) -> rule2)) -> rule5)) -> rule7))]