The cat chases the cow. The cat eats the cow. The cat is green. The cat is round. The cat is young. The cat needs the cow. The cow chases the cat. The cow is blue. The cow is green. The cow is rough. The cow is young. The cow needs the cat. If the cat is blue and the cat needs the cow then the cat chases the cow. If someone is blue and they chase the cow then they need the cat. If the cow eats the cat and the cow needs the cat then the cat needs the cow. If someone chases the cow then they chase the cat. If someone chases the cat and they need the cat then they eat the cat. If someone is round then they eat the cow.
The cat does not eat the cat.
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2 OR ((triple4) -> rule6))] The cat is green.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat needs the cow.[(triple6 OR ((((triple7 triple12) -> rule5) triple12) -> rule3))] The cow chases the cat.[(triple7)] The cow is blue.[(triple8)] The cow is green.[(triple9)] The cow is rough.[(triple10)] The cow is young.[(triple11)] The cow needs the cat.[(triple12)] @1: The cat chases the cat.[(((triple1) -> rule4))] The cow eats the cat.[(((triple7 triple12) -> rule5))]