The cow is cold. The cow is nice. The cow is round. The cow likes the squirrel. The cow needs the squirrel. The dog likes the squirrel. The dog needs the cow. The dog needs the squirrel. The dog sees the cow. The dog sees the squirrel. The squirrel needs the cow. The squirrel sees the cow. If someone likes the squirrel then the squirrel likes the dog. If someone sees the dog then they like the cow. If someone is cold then they need the squirrel. If someone sees the cow then the cow sees the squirrel. If the squirrel likes the dog and the squirrel sees the dog then the dog likes the squirrel. If the cow likes the squirrel and the squirrel likes the dog then the squirrel needs the dog.
The squirrel sees the dog.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2)] The cow is round.[(triple3)] The cow likes the squirrel.[(triple4)] The cow needs the squirrel.[(triple5 OR ((triple1) -> rule3))] The dog likes the squirrel.[(triple6)] The dog needs the cow.[(triple7)] The dog needs the squirrel.[(triple8)] The dog sees the cow.[(triple9)] The dog sees the squirrel.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel sees the cow.[(triple12)] @1: The cow sees the squirrel.[(((triple12) -> rule4) OR ((triple9) -> rule4))] The squirrel likes the dog.[(((triple4) -> rule1) OR ((triple6) -> rule1))] @2: The squirrel needs the dog.[(((triple4 ((triple4) -> rule1)) -> rule6) OR ((triple4 ((triple6) -> rule1)) -> rule6))]