The cow does not chase the tiger. The cow is not big. The cow is red. The cow is rough. The cow needs the dog. The dog chases the tiger. The dog is cold. The tiger chases the cow. The tiger eats the cow. The tiger needs the cow. If something is red and it chases the dog then it needs the cow. If something is kind then it chases the cow. If something chases the cow and it is not big then it does not eat the dog. If something chases the cow then the cow chases the dog. If something needs the tiger then the tiger is cold. If something eats the tiger and the tiger does not eat the cow then the tiger is not cold. If something is rough and it needs the cow then the cow eats the dog. If something eats the tiger and it is big then it is red.
The tiger is red.
@0: The cow does not chase the tiger.[(triple1)] The cow is not big.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow needs the dog.[(triple5)] The dog chases the tiger.[(triple6)] The dog is cold.[(triple7)] The tiger chases the cow.[(triple8)] The tiger eats the cow.[(triple9)] The tiger needs the cow.[(triple10)] @1: The cow chases the dog.[(((triple8) -> rule4))] @2: The cow needs the cow.[(((triple3 ((triple8) -> rule4)) -> rule1))] @3: The cow eats the dog.[(((triple4 ((triple3 ((triple8) -> rule4)) -> rule1)) -> rule7))]