The cow chases the rabbit. The cow is cold. The cow is kind. The cow is round. The rabbit chases the cow. The rabbit eats the cow. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit visits the cow. If something is kind and it visits the cow then it is round. If something is cold then it chases the cow.
The cow is not round.
@0: The cow chases the rabbit.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is round.[(triple4)] The rabbit chases the cow.[(triple5 OR ((triple7) -> rule2))] The rabbit eats the cow.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is green.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is rough.[(triple10)] The rabbit is round.[(triple11 OR ((triple9 triple12) -> rule1))] The rabbit visits the cow.[(triple12)] @1: The cow chases the cow.[(((triple2) -> rule2))]