The cow is big. The cow is kind. The cow is red. The cow is round. The cow likes the dog. The cow needs the dog. The cow visits the dog. The dog is big. The dog is kind. The dog is red. The dog is round. The dog is young. The dog likes the cow. The dog needs the cow. The dog visits the cow. If something visits the dog and the dog needs the cow then it needs the cow. If the dog visits the cow then the cow visits the dog. If something needs the cow and the cow likes the dog then it likes the cow.
The cow is not young.
@0: The cow is big.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow likes the dog.[(triple5)] The cow needs the dog.[(triple6)] The cow visits the dog.[(triple7 OR ((triple15) -> rule2))] The dog is big.[(triple8)] The dog is kind.[(triple9)] The dog is red.[(triple10)] The dog is round.[(triple11)] The dog is young.[(triple12)] The dog likes the cow.[(triple13 OR ((triple14 triple5) -> rule3))] The dog needs the cow.[(triple14)] The dog visits the cow.[(triple15)] @1: The cow needs the cow.[(((triple7 triple14) -> rule1) OR ((((triple15) -> rule2) triple14) -> rule1))] @2: The cow likes the cow.[(((((triple7 triple14) -> rule1) triple5) -> rule3) OR ((((((triple15) -> rule2) triple14) -> rule1) triple5) -> rule3))]