The cat eats the cow. The cat does not eat the rabbit. The cat does not need the cow. The cat needs the rabbit. The cow chases the rabbit. The cow is blue. The cow is rough. The cow does not need the rabbit. The rabbit chases the cow. The rabbit eats the cat. The rabbit needs the cat. The rabbit needs the cow. If the cat eats the cow then the cat is red. If something eats the cat and the cat is cold then it chases the cat. If the cat is red then the cat is cold.
The rabbit is not red.
@0: The cat does not eat the rabbit.[(triple2)] The cat does not need the cow.[(triple3)] The cat eats the cow.[(triple1)] The cat needs the rabbit.[(triple4)] The cow chases the rabbit.[(triple5)] The cow does not need the rabbit.[(triple8)] The cow is blue.[(triple6)] The cow is rough.[(triple7)] The rabbit chases the cow.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit needs the cat.[(triple11)] The rabbit needs the cow.[(triple12)] @1: The cat is red.[(((triple1) -> rule1))] @2: The cat is cold.[(((((triple1) -> rule1)) -> rule3))] @3: The rabbit chases the cat.[(((triple10 ((((triple1) -> rule1)) -> rule3)) -> rule2))]