The cow is nice. The cow sees the squirrel. The mouse eats the rabbit. The mouse is big. The mouse visits the squirrel. The rabbit eats the cow. The rabbit does not eat the squirrel. The rabbit is nice. The rabbit is red. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel sees the cow. If someone visits the squirrel then they eat the rabbit.
The cow does not eat the rabbit.
@0: The cow is nice.[(triple1)] The cow sees the squirrel.[(triple2)] The mouse eats the rabbit.[(triple3 OR ((triple5) -> rule1))] The mouse is big.[(triple4)] The mouse visits the squirrel.[(triple5)] The rabbit does not eat the squirrel.[(triple7)] The rabbit eats the cow.[(triple6)] The rabbit is nice.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the cow.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel sees the cow.[(triple12)] @1: The rabbit eats the rabbit.[(((triple11) -> rule1))]