The cat chases the cow. The cat eats the cow. The cat is cold. The cat is green. The cat is kind. The cat is nice. The cat visits the cow. The cow chases the cat. The cow eats the cat. The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow is nice. The cow visits the cat. If something is blue then it visits the cat. If something eats the cat and it chases the cat then it chases the cow. If something is blue then it chases the cat. If the cow is kind then the cow chases the cat. If something eats the cat and it is green then it eats the cow. If the cat eats the cow and the cat is kind then the cow is green.
The cow is green.
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5)] The cat is nice.[(triple6)] The cat visits the cow.[(triple7)] The cow chases the cat.[(triple8 OR ((triple10) -> rule3) OR ((triple13) -> rule4))] The cow eats the cat.[(triple9)] The cow is blue.[(triple10)] The cow is cold.[(triple11)] The cow is green.[(triple12 OR ((triple2 triple5) -> rule6))] The cow is kind.[(triple13)] The cow is nice.[(triple14)] The cow visits the cat.[(triple15 OR ((triple10) -> rule1))] @1: The cow chases the cow.[(((triple9 triple8) -> rule2) OR ((triple9 ((triple10) -> rule3)) -> rule2) OR ((triple9 ((triple13) -> rule4)) -> rule2))] The cow eats the cow.[(((triple9 triple12) -> rule5) OR ((triple9 ((triple2 triple5) -> rule6)) -> rule5))]