The cat chases the cow. The cat is not kind. The cat is nice. The cat is red. The cat is round. The cat likes the cow. The cat does not need the cow. The cow chases the cat. The cow is kind. The cow is not nice. The cow is not red. The cow is not rough. The cow is round. The cow likes the cat. The cow needs the cat. If someone is nice and round then they chase the cat. If the cow needs the cat then the cat likes the cow. If someone likes the cow and they do not need the cow then they need the cat.
The cat is rough.
@0: The cat chases the cow.[(triple1)] The cat does not need the cow.[(triple7)] The cat is nice.[(triple3)] The cat is not kind.[(triple2)] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat likes the cow.[(triple6 OR ((triple15) -> rule2))] The cow chases the cat.[(triple8)] The cow is kind.[(triple9)] The cow is not nice.[(triple10)] The cow is not red.[(triple11)] The cow is not rough.[(triple12)] The cow is round.[(triple13)] The cow likes the cat.[(triple14)] The cow needs the cat.[(triple15)] @1: The cat chases the cat.[(((triple3 triple5) -> rule1))] The cat needs the cat.[(((triple6 triple7) -> rule3) OR ((((triple15) -> rule2) triple7) -> rule3))]