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