The cow likes the dog. The cow needs the dog. The cow sees the dog. The dog is blue. The dog likes the cow. The dog needs the cow. The dog sees the cow. If someone is blue and they like the dog then the dog needs the cow. If someone needs the cow then they need the dog. If someone is round and they see the dog then they see the cow. All blue people are young. If someone likes the cow and they are blue then the cow likes the dog. If someone likes the cow and they see the dog then the cow needs the dog.
The cow needs the dog.
@0: The cow likes the dog.[(triple1 OR ((triple5 triple4) -> rule5))] The cow needs the dog.[(triple2)] The cow sees the dog.[(triple3)] The dog is blue.[(triple4)] The dog likes the cow.[(triple5)] The dog needs the cow.[(triple6)] The dog sees the cow.[(triple7)] @1: The dog is young.[(((triple4) -> rule4))] The dog needs the dog.[(((triple6) -> rule2))]