The cat eats the cow. The cat is big. The cat is red. The cat is young. The cat needs the cow. The cat visits the cow. The cow eats the cat. The cow is big. The cow is green. The cow is young. The cow needs the cat. The cow visits the cat. If the cow is big then the cow is round. If something visits the cow then it needs the cow. If something is round and it eats the cat then it visits the cow.
The cow is round.
@0: The cat eats the cow.[(triple1)] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat needs the cow.[(triple5 OR ((triple6) -> rule2))] The cat visits the cow.[(triple6)] The cow eats the cat.[(triple7)] The cow is big.[(triple8)] The cow is green.[(triple9)] The cow is young.[(triple10)] The cow needs the cat.[(triple11)] The cow visits the cat.[(triple12)] @1: The cow is round.[(((triple8) -> rule1))] @2: The cow visits the cow.[(((((triple8) -> rule1) triple7) -> rule3))] @3: The cow needs the cow.[(((((((triple8) -> rule1) triple7) -> rule3)) -> rule2))]