The cat eats the tiger. The cat is blue. The cat is green. The cat is red. The cat visits the tiger. The tiger eats the cat. The tiger is cold. The tiger is red. The tiger likes the cat. The tiger visits the cat. If something eats the tiger then the tiger eats the cat. If something is cold then it likes the cat. If something visits the tiger then it eats the tiger. If something visits the tiger then the tiger is red. If something likes the cat and it is cold then the cat is cold. If something visits the cat and it eats the cat then the cat is big.
The tiger does not like the cat.
@0: The cat eats the tiger.[(triple1 OR ((triple5) -> rule3))] The cat is blue.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat visits the tiger.[(triple5)] The tiger eats the cat.[(triple6 OR ((triple1) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] The tiger is cold.[(triple7)] The tiger is red.[(triple8 OR ((triple5) -> rule4))] The tiger likes the cat.[(triple9 OR ((triple7) -> rule2))] The tiger visits the cat.[(triple10)] @1: The cat is big.[(((triple10 triple6) -> rule6) OR ((triple10 ((triple1) -> rule1)) -> rule6) OR ((triple10 ((((triple5) -> rule3)) -> rule1)) -> rule6))] The cat is cold.[(((triple9 triple7) -> rule5) OR ((((triple7) -> rule2) triple7) -> rule5))] @2: The cat likes the cat.[(((((triple9 triple7) -> rule5)) -> rule2) OR ((((((triple7) -> rule2) triple7) -> rule5)) -> rule2))]