The cat likes the tiger. The tiger is big. If someone likes the cat and the cat does not like the tiger then the cat does not eat the tiger. If the cat likes the tiger and the tiger likes the cat then the tiger visits the cat. If the tiger is big then the tiger likes the cat. If someone visits the cat and they eat the cat then the cat is round. If the tiger likes the cat then the tiger eats the cat. If someone is cold and they eat the tiger then they do not like the cat. If the tiger likes the cat then the tiger is young. If the cat is red and the tiger does not visit the cat then the tiger is red.
The tiger likes the cat.
@0: The cat likes the tiger.[(triple1)] The tiger is big.[(triple2)] @1: The tiger likes the cat.[(((triple2) -> rule3))] @2: The tiger eats the cat.[(((((triple2) -> rule3)) -> rule5))] The tiger is young.[(((((triple2) -> rule3)) -> rule7))] The tiger visits the cat.[(((triple1 ((triple2) -> rule3)) -> rule2))] @3: The cat is round.[(((((triple1 ((triple2) -> rule3)) -> rule2) ((((triple2) -> rule3)) -> rule5)) -> rule4))]