The cat is young. The cow sees the mouse. The mouse sees the cat. The tiger chases the cat. If the cat is young then the cat is rough. If someone sees the cat and the cat chases the cow then the cow chases the tiger. If someone visits the tiger then the tiger is green. All young people are rough. Young people are green. If someone sees the cow and they see the cat then the cat visits the tiger. If someone sees the cow and they chase the cat then the cat visits the tiger. If someone is green then they chase the cow.
The cat does not chase the cow.
@0: The cat is young.[(triple1)] The cow sees the mouse.[(triple2)] The mouse sees the cat.[(triple3)] The tiger chases the cat.[(triple4)] @1: The cat is green.[(((triple1) -> rule5))] The cat is rough.[(((triple1) -> rule1) OR ((triple1) -> rule4))] @2: The cat chases the cow.[(((((triple1) -> rule5)) -> rule8))] @3: The cow chases the tiger.[(((triple3 ((((triple1) -> rule5)) -> rule8)) -> rule2))]