The cat chases the cow. The cat is blue. The cat is cold. The cat is green. The cat is nice. The cat needs the cow. The cat sees the cow. The cow chases the cat. The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is nice. The cow needs the cat. The cow sees the cat. If someone needs the cow and they chase the cat then the cow is cold. If someone sees the cow and they are blue then they chase the cat. If someone needs the cat and the cat needs the cow then they see the cat. Big people are blue. If someone sees the cow and they chase the cat then they need the cat. If someone chases the cow then the cow is cold.
The cat does not chase the cat.
@0: The cat chases the cow.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is nice.[(triple5)] The cat needs the cow.[(triple6)] The cat sees the cow.[(triple7)] The cow chases the cat.[(triple8)] The cow is big.[(triple9)] The cow is blue.[(triple10 OR ((triple9) -> rule4))] The cow is cold.[(triple11 OR ((triple1) -> rule6) OR ((triple6 ((triple7 triple2) -> rule2)) -> rule1))] The cow is green.[(triple12)] The cow is nice.[(triple13)] The cow needs the cat.[(triple14)] The cow sees the cat.[(triple15 OR ((triple14 triple6) -> rule3))] @1: The cat chases the cat.[(((triple7 triple2) -> rule2))] @2: The cat needs the cat.[(((triple7 ((triple7 triple2) -> rule2)) -> rule5))] @3: The cat sees the cat.[(((((triple7 ((triple7 triple2) -> rule2)) -> rule5) triple6) -> rule3))]