The cat eats the cow. The cat is round. The cat needs the cow. The cow chases the cat. The cow eats the cat. The cow is red. The cow is young. If something needs the cat and it eats the cow then the cat is round. If something eats the cow then the cow is kind.
The cat needs the cow.
@0: The cat eats the cow.[(triple1)] The cat is round.[(triple2)] The cat needs the cow.[(triple3)] The cow chases the cat.[(triple4)] The cow eats the cat.[(triple5)] The cow is red.[(triple6)] The cow is young.[(triple7)] @1: The cow is kind.[(((triple1) -> rule2))]