The cow eats the rabbit. The cow is blue. The cow is not cold. The cow is nice. The cow is rough. The cow is round. The cow likes the rabbit. The cow sees the rabbit. The rabbit does not eat the cow. The rabbit is blue. The rabbit is cold. The rabbit is rough. The rabbit is round. The rabbit does not like the cow. The rabbit sees the cow. If someone likes the rabbit then the rabbit is blue. If someone is rough and they see the rabbit then the rabbit is cold. If someone eats the cow and the cow eats the rabbit then the cow is nice.
The cow does not eat the rabbit.
@0: The cow eats the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple4)] The cow is not cold.[(triple3)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow likes the rabbit.[(triple7)] The cow sees the rabbit.[(triple8)] The rabbit does not eat the cow.[(triple9)] The rabbit does not like the cow.[(triple14)] The rabbit is blue.[(triple10 OR ((triple7) -> rule1))] The rabbit is cold.[(triple11 OR ((triple5 triple8) -> rule2))] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit sees the cow.[(triple15)]