The cat likes the rabbit. The cat likes the tiger. The mouse is blue. The mouse is nice. The mouse is round. The mouse visits the tiger. The rabbit likes the tiger. The rabbit visits the tiger. The tiger eats the mouse. The tiger eats the rabbit. The tiger visits the cat. If the mouse is big then the mouse visits the cat. If something visits the mouse then it visits the tiger. If something likes the tiger and the tiger eats the cat then the cat is red. If something visits the tiger then the tiger visits the mouse. If something is blue and it visits the cat then it likes the rabbit. If something is nice then it likes the cat. If something is blue then it likes the cat. If something is round then it is nice. If something visits the tiger then it is round.
The cat eats the mouse.
@0: The cat likes the rabbit.[(triple1)] The cat likes the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse is nice.[(triple4 OR ((triple5) -> rule8) OR ((((triple6) -> rule9)) -> rule8))] The mouse is round.[(triple5 OR ((triple6) -> rule9))] The mouse visits the tiger.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger eats the rabbit.[(triple10)] The tiger visits the cat.[(triple11)] @1: The mouse likes the cat.[(((triple3) -> rule7) OR ((triple4) -> rule6) OR ((((triple5) -> rule8)) -> rule6) OR ((((((triple6) -> rule9)) -> rule8)) -> rule6))] The rabbit is round.[(((triple8) -> rule9))] The tiger visits the mouse.[(((triple6) -> rule4) OR ((triple8) -> rule4))] @2: The rabbit is nice.[(((((triple8) -> rule9)) -> rule8))] The tiger visits the tiger.[(((((triple6) -> rule4)) -> rule2) OR ((((triple8) -> rule4)) -> rule2))] @3: The rabbit likes the cat.[(((((((triple8) -> rule9)) -> rule8)) -> rule6))] The tiger is round.[(((((((triple6) -> rule4)) -> rule2)) -> rule9) OR ((((((triple8) -> rule4)) -> rule2)) -> rule9))] @4: The tiger is nice.[(((((((((triple6) -> rule4)) -> rule2)) -> rule9)) -> rule8) OR ((((((((triple8) -> rule4)) -> rule2)) -> rule9)) -> rule8))] @5: The tiger likes the cat.[(((((((((((triple6) -> rule4)) -> rule2)) -> rule9)) -> rule8)) -> rule6) OR ((((((((((triple8) -> rule4)) -> rule2)) -> rule9)) -> rule8)) -> rule6))]