The cat chases the cow. The cat is green. The cat is red. The cat is rough. The cat is round. The cat is young. The cat sees the cow. The cat does not visit the cow. The cow chases the cat. The cow is green. The cow is red. The cow is rough. The cow is round. The cow is young. The cow sees the cat. The cow visits the cat. If someone is red then they see the cow. If the cat sees the cow and the cow is not young then the cat chases the cow. If someone visits the cat then the cat chases the cow. If someone sees the cat and they chase the cat then the cat chases the cow. If the cow is round and the cow does not see the cat then the cat chases the cow. If someone sees the cow and they are green then they chase the cow.
The cat sees the cat.
@0: The cat chases the cow.[(triple1 OR ((triple16) -> rule3) OR ((triple15 triple9) -> rule4) OR ((triple7 triple2) -> rule6) OR ((((triple3) -> rule1) triple2) -> rule6))] The cat does not visit the cow.[(triple8)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat sees the cow.[(triple7 OR ((triple3) -> rule1))] The cow chases the cat.[(triple9)] The cow is green.[(triple10)] The cow is red.[(triple11)] The cow is rough.[(triple12)] The cow is round.[(triple13)] The cow is young.[(triple14)] The cow sees the cat.[(triple15)] The cow visits the cat.[(triple16)] @1: The cow sees the cow.[(((triple11) -> rule1))] @2: The cow chases the cow.[(((((triple11) -> rule1) triple10) -> rule6))]