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