The cow chases the rabbit. The cow eats the rabbit. The cow is not round. The cow is young. The cow likes the rabbit. The rabbit is cold. The rabbit likes the cow. If the rabbit is cold then the rabbit chases the cow. If someone likes the cow and the cow likes the rabbit then the cow is young. If the rabbit eats the cow and the rabbit is not cold then the cow likes the rabbit. If the cow chases the rabbit and the cow is cold then the cow likes the rabbit. If someone is cold and they like the rabbit then they like the cow. If someone eats the rabbit then the rabbit likes the cow.
The rabbit is cold.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is not round.[(triple3)] The cow is young.[(triple4 OR ((triple7 triple5) -> rule2) OR ((((triple2) -> rule6) triple5) -> rule2))] The cow likes the rabbit.[(triple5)] The rabbit is cold.[(triple6)] The rabbit likes the cow.[(triple7 OR ((triple2) -> rule6))] @1: The rabbit chases the cow.[(((triple6) -> rule1))]