The cat chases the rabbit. The cat is red. The cat sees the cow. The cat visits the cow. The cat visits the rabbit. The cow is big. The cow is blue. The cow is red. The cow visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit sees the cat. The rabbit sees the cow. The rabbit visits the cat. The rabbit visits the cow. If someone sees the cat and they see the rabbit then the rabbit chases the cat. If someone visits the cow then they chase the rabbit. If someone is big and red then they chase the cat.
The cow sees the cat.
@0: The cat chases the rabbit.[(triple1 OR ((triple4) -> rule2))] The cat is red.[(triple2)] The cat sees the cow.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the rabbit.[(triple5)] The cow is big.[(triple6)] The cow is blue.[(triple7)] The cow is red.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit sees the cat.[(triple12)] The rabbit sees the cow.[(triple13)] The rabbit visits the cat.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The cow chases the cat.[(((triple6 triple8) -> rule3))] The rabbit chases the rabbit.[(((triple15) -> rule2))]