The cat sees the tiger. The tiger chases the cat. The tiger is round. If something likes the tiger then it chases the cat. If something sees the cat and the cat sees the tiger then the tiger chases the cat. If something chases the cat then the cat likes the tiger. If something sees the cat then it is round. If something chases the tiger then the tiger is red. If something chases the tiger and it is red then the tiger likes the cat. If something is round and it sees the tiger then the tiger sees the cat. If something is round then it chases the tiger.
The tiger is red.
@0: The cat sees the tiger.[(triple1)] The tiger chases the cat.[(triple2)] The tiger is round.[(triple3)] @1: The cat likes the tiger.[(((triple2) -> rule3))] The tiger chases the tiger.[(((triple3) -> rule8))] @2: The cat chases the cat.[(((((triple2) -> rule3)) -> rule1))] The tiger is red.[(((((triple3) -> rule8)) -> rule5))] @3: The tiger likes the cat.[(((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6))]