The cow chases the rabbit. The cow eats the rabbit. The cow is cold. The cow is nice. The cow sees the rabbit. The mouse chases the cow. The mouse chases the rabbit. The mouse eats the rabbit. The mouse is nice. The mouse sees the rabbit. The rabbit is green. The rabbit is rough. If someone chases the cow then they chase the rabbit. If someone eats the rabbit then the rabbit chases the cow.
The rabbit is not round.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow sees the rabbit.[(triple5)] The mouse chases the cow.[(triple6)] The mouse chases the rabbit.[(triple7 OR ((triple6) -> rule1))] The mouse eats the rabbit.[(triple8)] The mouse is nice.[(triple9)] The mouse sees the rabbit.[(triple10)] The rabbit is green.[(triple11)] The rabbit is rough.[(triple12)] @1: The rabbit chases the cow.[(((triple2) -> rule2) OR ((triple8) -> rule2))] @2: The rabbit chases the rabbit.[(((((triple2) -> rule2)) -> rule1) OR ((((triple8) -> rule2)) -> rule1))]