The bear eats the cat. The cat eats the dog. The dog is blue. The tiger is blue. If the tiger is blue then the tiger eats the bear. If something visits the cat and it eats the dog then the cat is young. If the dog likes the bear and the dog is rough then the bear is nice. If something is big then it visits the cat. If something visits the tiger then it is young. If something is nice then it is rough. If something eats the bear then the bear visits the tiger. If something is nice then it likes the tiger.
The cat is young.
@0: The bear eats the cat.[(triple1)] The cat eats the dog.[(triple2)] The dog is blue.[(triple3)] The tiger is blue.[(triple4)] @1: The tiger eats the bear.[(((triple4) -> rule1))] @2: The bear visits the tiger.[(((((triple4) -> rule1)) -> rule7))] @3: The bear is young.[(((((((triple4) -> rule1)) -> rule7)) -> rule5))]