The cat is nice. The dog chases the rabbit. The rabbit visits the tiger. The tiger is nice. If the rabbit is blue and the rabbit visits the tiger then the tiger is young. If the rabbit visits the dog and the dog visits the rabbit then the rabbit eats the cat. If something eats the rabbit and it is red then the rabbit eats the cat. If something eats the tiger and it eats the rabbit then it visits the tiger. All young things are blue. If something chases the rabbit then the rabbit is blue. If something is red and it visits the cat then the cat visits the tiger. If something eats the tiger and it visits the rabbit then it chases the dog.
The tiger is not young.
@0: The cat is nice.[(triple1)] The dog chases the rabbit.[(triple2)] The rabbit visits the tiger.[(triple3)] The tiger is nice.[(triple4)] @1: The rabbit is blue.[(((triple2) -> rule6))] @2: The tiger is young.[(((((triple2) -> rule6) triple3) -> rule1))] @3: The tiger is blue.[(((((((triple2) -> rule6) triple3) -> rule1)) -> rule5))]