The cat is young. The dog chases the cat. The dog is blue. The mouse chases the dog. The mouse is not big. The tiger is blue. The tiger does not visit the cat. If something sees the cat then it chases the cat. If something is green and not young then it visits the tiger. If something is blue and it chases the tiger then the tiger sees the mouse. If something chases the cat then it visits the dog. If something visits the dog then it chases the tiger. If something is green and it does not visit the dog then it is not big.
The dog does not chase the tiger.
@0: The cat is young.[(triple1)] The dog chases the cat.[(triple2)] The dog is blue.[(triple3)] The mouse chases the dog.[(triple4)] The mouse is not big.[(triple5)] The tiger does not visit the cat.[(triple7)] The tiger is blue.[(triple6)] @1: The dog visits the dog.[(((triple2) -> rule4))] @2: The dog chases the tiger.[(((((triple2) -> rule4)) -> rule5))] @3: The tiger sees the mouse.[(((triple3 ((((triple2) -> rule4)) -> rule5)) -> rule3))]