The cat eats the tiger. The cat is blue. The cat is kind. The cat is round. The cat likes the mouse. The cat visits the mouse. The dog likes the cat. The dog likes the mouse. The dog visits the cat. The dog visits the tiger. The mouse is round. The tiger eats the cat. The tiger eats the mouse. The tiger is red. The tiger likes the cat. The tiger likes the mouse. If something likes the cat then it eats the mouse. If something eats the cat then it eats the tiger. If something likes the cat and it eats the tiger then the cat likes the dog. If something visits the dog and the dog eats the mouse then the mouse is kind. If something is blue and it likes the dog then it eats the cat. If something eats the cat and it likes the cat then it visits the mouse.
The dog does not like the dog.
@0: The cat eats the tiger.[(triple1 OR ((((triple2 ((triple15 ((triple12) -> rule2)) -> rule3)) -> rule5)) -> rule2))] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cat is round.[(triple4)] The cat likes the mouse.[(triple5)] The cat visits the mouse.[(triple6)] The dog likes the cat.[(triple7)] The dog likes the mouse.[(triple8)] The dog visits the cat.[(triple9)] The dog visits the tiger.[(triple10)] The mouse is round.[(triple11)] The tiger eats the cat.[(triple12)] The tiger eats the mouse.[(triple13 OR ((triple15) -> rule1))] The tiger is red.[(triple14)] The tiger likes the cat.[(triple15)] The tiger likes the mouse.[(triple16)] @1: The dog eats the mouse.[(((triple7) -> rule1))] The tiger eats the tiger.[(((triple12) -> rule2))] The tiger visits the mouse.[(((triple12 triple15) -> rule6))] @2: The cat likes the dog.[(((triple15 ((triple12) -> rule2)) -> rule3))] @3: The cat eats the cat.[(((triple2 ((triple15 ((triple12) -> rule2)) -> rule3)) -> rule5))]