The cat does not chase the cow. The cow chases the cat. The cow likes the cat. If someone is rough and they visit the cow then the cow chases the cat. If someone likes the cow then the cow chases the cat. If someone is red then they do not chase the cow. If someone visits the cat and they do not like the cat then they are rough. If the cat likes the cow and the cow likes the cat then the cow visits the cat. If someone likes the cat then the cat likes the cow. If the cow visits the cat then the cow is not cold. If someone visits the cat and the cat likes the cow then the cow is round.
The cow is not cold.
@0: The cat does not chase the cow.[(triple1)] The cow chases the cat.[(triple2 OR ((((triple3) -> rule6)) -> rule2))] The cow likes the cat.[(triple3)] @1: The cat likes the cow.[(((triple3) -> rule6))] @2: The cow visits the cat.[(((((triple3) -> rule6) triple3) -> rule5))] @3: The cow is not cold.[(((((((triple3) -> rule6) triple3) -> rule5)) -> rule7))] The cow is round.[(((((((triple3) -> rule6) triple3) -> rule5) ((triple3) -> rule6)) -> rule8))]