The cat chases the cow. The cat eats the cow. The cat is nice. The cat needs the cow. The cow eats the cat. The cow is rough. The cow needs the cat. If something chases the cat and the cat is young then the cat chases the cow. All rough things are kind. If something is nice then it chases the cow.
The cow does not need the cat.
@0: The cat chases the cow.[(triple1 OR ((triple3) -> rule3))] The cat eats the cow.[(triple2)] The cat is nice.[(triple3)] The cat needs the cow.[(triple4)] The cow eats the cat.[(triple5)] The cow is rough.[(triple6)] The cow needs the cat.[(triple7)] @1: The cow is kind.[(((triple6) -> rule2))]