The cat eats the tiger. The dog is not big. The lion likes the cat. The tiger is blue. If something eats the cat and the cat eats the dog then the cat is not nice. If something eats the cat and it does not like the dog then the cat eats the lion. If something eats the tiger then it sees the tiger. If something is blue then it eats the tiger. If something eats the dog and it likes the lion then it is blue. If something is cold and it sees the tiger then it is not blue. If something sees the tiger then it eats the cat. If something likes the dog and the dog sees the tiger then the dog likes the tiger.
The dog likes the tiger.
@0: The cat eats the tiger.[(triple1)] The dog is not big.[(triple2)] The lion likes the cat.[(triple3)] The tiger is blue.[(triple4)] @1: The cat sees the tiger.[(((triple1) -> rule3))] The tiger eats the tiger.[(((triple4) -> rule4))] @2: The cat eats the cat.[(((((triple1) -> rule3)) -> rule7))] The tiger sees the tiger.[(((((triple4) -> rule4)) -> rule3))] @3: The tiger eats the cat.[(((((((triple4) -> rule4)) -> rule3)) -> rule7))]