The cat is big. The cat is young. The cat needs the cow. The cat visits the cow. The cow is green. The cow is red. The cow is young. The cow needs the cat. The cow sees the cat. The cow visits the cat. If something sees the cow and the cow sees the cat then the cow visits the cat. If the cow needs the cat and the cow is red then the cat sees the cow. If something is red then it needs the cow. If something needs the cat then the cat visits the cow. If something sees the cow then the cow is nice. If something visits the cat and the cat visits the cow then it needs the cow.
The cat does not need the cat.
@0: The cat is big.[(triple1)] The cat is young.[(triple2)] The cat needs the cow.[(triple3)] The cat visits the cow.[(triple4 OR ((triple8) -> rule4))] The cow is green.[(triple5)] The cow is red.[(triple6)] The cow is young.[(triple7)] The cow needs the cat.[(triple8)] The cow sees the cat.[(triple9)] The cow visits the cat.[(triple10 OR ((((triple8 triple6) -> rule2) triple9) -> rule1))] @1: The cat sees the cow.[(((triple8 triple6) -> rule2))] The cow needs the cow.[(((triple6) -> rule3) OR ((triple10 triple4) -> rule6) OR ((triple10 ((triple8) -> rule4)) -> rule6) OR ((((((triple8 triple6) -> rule2) triple9) -> rule1) triple4) -> rule6) OR ((((((triple8 triple6) -> rule2) triple9) -> rule1) ((triple8) -> rule4)) -> rule6))] @2: The cow is nice.[(((((triple8 triple6) -> rule2)) -> rule5))]