The cat does not chase the rabbit. The cat does not eat the cow. The cat eats the rabbit. The cat is not kind. The cat is red. The cat does not need the cow. The cat needs the rabbit. The cow chases the cat. The cow eats the cat. The cow eats the rabbit. The cow needs the cat. The cow does not need the rabbit. The rabbit eats the cat. The rabbit is big. The rabbit is cold. The rabbit needs the cow. If something needs the cow then it does not chase the cat. If the cow is red and the cow does not eat the cat then the cat is not red. If something eats the cow and the cow is not red then it needs the cat. If something chases the cow then it needs the cat. If something is kind and not red then it chases the cow. If something is big and it does not chase the cat then it chases the cow.
The cow eats the cat.
@0: The cat does not chase the rabbit.[(triple1)] The cat does not eat the cow.[(triple2)] The cat does not need the cow.[(triple6)] The cat eats the rabbit.[(triple3)] The cat is not kind.[(triple4)] The cat is red.[(triple5)] The cat needs the rabbit.[(triple7)] The cow chases the cat.[(triple8)] The cow does not need the rabbit.[(triple12)] The cow eats the cat.[(triple9)] The cow eats the rabbit.[(triple10)] The cow needs the cat.[(triple11)] The rabbit eats the cat.[(triple13)] The rabbit is big.[(triple14)] The rabbit is cold.[(triple15)] The rabbit needs the cow.[(triple16)] @1: The rabbit does not chase the cat.[(((triple16) -> rule1))] @2: The rabbit chases the cow.[(((triple14 ((triple16) -> rule1)) -> rule6))] @3: The rabbit needs the cat.[(((((triple14 ((triple16) -> rule1)) -> rule6)) -> rule4))]