The cat is big. The mouse visits the tiger. The tiger is round. If someone chases the cat then the cat visits the tiger. If someone chases the tiger and the tiger is not blue then the tiger does not like the cat. If someone chases the cat and the cat is not round then they visit the mouse. If someone visits the tiger then they chase the cat. If someone is big then they are nice. If someone likes the mouse then the mouse is not blue. If the cat visits the tiger and the tiger visits the cat then the tiger chases the mouse. If the cat visits the mouse and the cat is not blue then the mouse visits the cat.
The tiger does not chase the mouse.
@0: The cat is big.[(triple1)] The mouse visits the tiger.[(triple2)] The tiger is round.[(triple3)] @1: The cat is nice.[(((triple1) -> rule5))] The mouse chases the cat.[(((triple2) -> rule4))] @2: The cat visits the tiger.[(((((triple2) -> rule4)) -> rule1))] @3: The cat chases the cat.[(((((((triple2) -> rule4)) -> rule1)) -> rule4))]