The cow chases the rabbit. The cow is blue. The cow is rough. The cow is young. The cow sees the rabbit. The cow visits the rabbit. The rabbit chases the cow. The rabbit is cold. The rabbit sees the cow. The rabbit visits the cow. If someone sees the rabbit then they are young. If someone is blue then they visit the cow. If someone chases the cow and the cow is cold then they visit the rabbit. If someone chases the rabbit and they chase the cow then they see the rabbit. If someone chases the cow then they chase the rabbit. If someone is rough and they visit the rabbit then the rabbit visits the cow.
The cow does not visit the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is rough.[(triple3)] The cow is young.[(triple4 OR ((triple5) -> rule1))] The cow sees the rabbit.[(triple5)] The cow visits the rabbit.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit is cold.[(triple8)] The rabbit sees the cow.[(triple9)] The rabbit visits the cow.[(triple10 OR ((triple3 triple6) -> rule6))] @1: The cow visits the cow.[(((triple2) -> rule2))] The rabbit chases the rabbit.[(((triple7) -> rule5))] @2: The rabbit sees the rabbit.[(((((triple7) -> rule5) triple7) -> rule4))] @3: The rabbit is young.[(((((((triple7) -> rule5) triple7) -> rule4)) -> rule1))]