The cat chases the cow. The cat eats the cow. The cat is big. The cat is kind. The cat is rough. The cat is round. The cat is young. The cat visits the cow. The cow chases the cat. The cow eats the cat. The cow is big. The cow is kind. The cow is rough. The cow is round. The cow is young. The cow visits the cat. If something chases the cow then it is young.
The cat eats the cat.
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2)] The cat is big.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat is young.[(triple7 OR ((triple1) -> rule1))] The cat visits the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow eats the cat.[(triple10)] The cow is big.[(triple11)] The cow is kind.[(triple12)] The cow is rough.[(triple13)] The cow is round.[(triple14)] The cow is young.[(triple15)] The cow visits the cat.[(triple16)]