The bear visits the cat. The cat is cold. The mouse is green. The tiger chases the mouse. If someone sees the cat then the cat is rough. If someone is rough then they do not visit the cat. If someone visits the tiger then the tiger visits the mouse. If someone is green then they are rough. If someone sees the tiger and the tiger is not green then they are nice. If someone is rough then they visit the tiger.
The cat sees the tiger.
@0: The bear visits the cat.[(triple1)] The cat is cold.[(triple2)] The mouse is green.[(triple3)] The tiger chases the mouse.[(triple4)] @1: The mouse is rough.[(((triple3) -> rule4))] @2: The mouse does not visit the cat.[(((((triple3) -> rule4)) -> rule2))] The mouse visits the tiger.[(((((triple3) -> rule4)) -> rule6))] @3: The tiger visits the mouse.[(((((((triple3) -> rule4)) -> rule6)) -> rule3))]