The cat eats the cow. The cat is blue. The cat is green. The cat is nice. The cat is red. The cat is young. The cat needs the cow. The cat sees the cow. The cow eats the cat. The cow is blue. The cow is green. The cow is nice. The cow is red. The cow needs the cat. The cow sees the cat. If someone needs the cow and the cow is red then they see the cow. If someone eats the cow then they see the cow. If someone is red and young then they eat the cow. If someone is nice then they see the cat. If someone is nice and they need the cat then they eat the cat. If someone eats the cat then the cat is green.
The cow needs the cow.
@0: The cat eats the cow.[(triple1 OR ((triple5 triple6) -> rule3))] The cat is blue.[(triple2)] The cat is green.[(triple3 OR ((triple9) -> rule6) OR ((((triple12 triple14) -> rule5)) -> rule6))] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat is young.[(triple6)] The cat needs the cow.[(triple7)] The cat sees the cow.[(triple8 OR ((triple1) -> rule2) OR ((triple7 triple13) -> rule1) OR ((((triple5 triple6) -> rule3)) -> rule2))] The cow eats the cat.[(triple9 OR ((triple12 triple14) -> rule5))] The cow is blue.[(triple10)] The cow is green.[(triple11)] The cow is nice.[(triple12)] The cow is red.[(triple13)] The cow needs the cat.[(triple14)] The cow sees the cat.[(triple15 OR ((triple12) -> rule4))] @1: The cat sees the cat.[(((triple4) -> rule4))]