The cat chases the cow. The cat is big. The cat is kind. The cat is nice. The cat is round. The cat likes the cow. The cat needs the cow. The cow chases the cat. The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is round. The cow likes the cat. The cow needs the cat. If someone likes the cat and the cat is nice then the cat chases the cow.
The cow needs the cat.
@0: The cat chases the cow.[(triple1 OR ((triple14 triple4) -> rule1))] The cat is big.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat likes the cow.[(triple6)] The cat needs the cow.[(triple7)] The cow chases the cat.[(triple8)] The cow is big.[(triple9)] The cow is green.[(triple10)] The cow is kind.[(triple11)] The cow is nice.[(triple12)] The cow is round.[(triple13)] The cow likes the cat.[(triple14)] The cow needs the cat.[(triple15)]