The cow is big. The cow is cold. The cow does not visit the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is blue. The tiger visits the cow. If the cow is nice and the cow is red then the cow does not eat the tiger. If something eats the cow then the cow eats the tiger. If something is blue then it is big. If something is blue and it chases the cow then it eats the tiger. If something is blue and red then it does not chase the cow. If something eats the cow and the cow eats the tiger then the cow is nice. If something eats the cow then it does not chase the tiger. If something is nice and it eats the tiger then it chases the tiger.
The cow is nice.
@0: The cow does not visit the tiger.[(triple3)] The cow is big.[(triple1)] The cow is cold.[(triple2)] The tiger chases the cow.[(triple4)] The tiger eats the cow.[(triple5)] The tiger is blue.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow eats the tiger.[(((triple5) -> rule2))] The tiger does not chase the tiger.[(((triple5) -> rule7))] The tiger eats the tiger.[(((triple6 triple4) -> rule4))] The tiger is big.[(((triple6) -> rule3))] @2: The cow is nice.[(((triple5 ((triple5) -> rule2)) -> rule6))] @3: The cow chases the tiger.[(((((triple5 ((triple5) -> rule2)) -> rule6) ((triple5) -> rule2)) -> rule8))]