The cat eats the cow. The cat is kind. The cat needs the cow. The cow eats the cat. The cow is big. The cow is green. The cow needs the cat. If the cow needs the cat and the cat needs the cow then the cow is kind. If something is green and it needs the cat then the cat is green. If something is kind and it chases the cat then the cat eats the cow. If something needs the cat and it needs the cow then the cow needs the cat. If something is big then it needs the cow. If the cat needs the cow and the cow eats the cat then the cat chases the cow. If the cow is kind and the cow chases the cat then the cow needs the cat. If something needs the cat then it eats the cat.
The cat is rough.
@0: The cat eats the cow.[(triple1)] The cat is kind.[(triple2)] The cat needs the cow.[(triple3)] The cow eats the cat.[(triple4 OR ((triple7) -> rule8))] The cow is big.[(triple5)] The cow is green.[(triple6)] The cow needs the cat.[(triple7)] @1: The cat chases the cow.[(((triple3 triple4) -> rule6) OR ((triple3 ((triple7) -> rule8)) -> rule6))] The cat is green.[(((triple6 triple7) -> rule2))] The cow is kind.[(((triple7 triple3) -> rule1))] The cow needs the cow.[(((triple5) -> rule5))]