The bear chases the cat. The bear eats the tiger. The bear is blue. The bear is cold. The bear does not need the cow. The bear needs the tiger. The cat is nice. The cat needs the cow. The cow chases the cat. The cow eats the tiger. The cow is blue. The tiger chases the cow. The tiger eats the cat. The tiger does not eat the cow. The tiger is green. The tiger needs the cat. If something chases the cow then it is green. If something needs the cow then it needs the cat. If something needs the cat then it eats the cat. If the cat is green then the cat needs the tiger. If something eats the cat then it does not eat the tiger. If something chases the tiger and the tiger does not eat the cat then the tiger is not cold. All cold things are blue. If something eats the cow and it is blue then it does not chase the cat.
The cat does not eat the cow.
@0: The bear chases the cat.[(triple1)] The bear does not need the cow.[(triple5)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3 OR ((triple4) -> rule7))] The bear is cold.[(triple4)] The bear needs the tiger.[(triple6)] The cat is nice.[(triple7)] The cat needs the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow eats the tiger.[(triple10)] The cow is blue.[(triple11)] The tiger chases the cow.[(triple12)] The tiger does not eat the cow.[(triple14)] The tiger eats the cat.[(triple13 OR ((triple16) -> rule3))] The tiger is green.[(triple15 OR ((triple12) -> rule1))] The tiger needs the cat.[(triple16)] @1: The cat needs the cat.[(((triple8) -> rule2))] The tiger does not eat the tiger.[(((triple13) -> rule5) OR ((((triple16) -> rule3)) -> rule5))] @2: The cat eats the cat.[(((((triple8) -> rule2)) -> rule3))] @3: The cat does not eat the tiger.[(((((((triple8) -> rule2)) -> rule3)) -> rule5))]