The cow chases the rabbit. The cow eats the rabbit. The cow is not green. The cow is nice. The cow needs the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit needs the cow. If something needs the rabbit and the rabbit chases the cow then it is kind. If something needs the rabbit then it needs the cow. If the cow chases the rabbit and the rabbit is not green then the cow does not need the rabbit. If something eats the cow and it is not green then the cow is red. If something needs the cow and the cow needs the rabbit then it eats the cow. If the cow eats the rabbit then the cow is kind.
The rabbit is not kind.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is nice.[(triple4)] The cow is not green.[(triple3)] The cow needs the rabbit.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit eats the cow.[(triple7 OR ((triple12 triple5) -> rule5))] The rabbit is blue.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is red.[(triple11)] The rabbit needs the cow.[(triple12)] @1: The cow is kind.[(((triple2) -> rule6) OR ((triple5 triple6) -> rule1))] The cow needs the cow.[(((triple5) -> rule2))] @2: The cow eats the cow.[(((((triple5) -> rule2) triple5) -> rule5))] @3: The cow is red.[(((((((triple5) -> rule2) triple5) -> rule5) triple3) -> rule4))]