The cow needs the dog. The cow needs the squirrel. The cow sees the squirrel. The dog needs the cow. The squirrel likes the cow. The squirrel needs the cow. The squirrel sees the dog. If the squirrel needs the dog then the squirrel needs the cow. If the dog is rough and the dog likes the cow then the dog is round. If someone needs the dog then the dog needs the squirrel. If someone likes the dog then they are big. If someone likes the dog then they see the dog. If someone needs the cow and they need the squirrel then the cow likes the dog. If someone is big then they need the dog. If someone is green and they need the cow then the cow sees the squirrel.
The dog is not big.
@0: The cow needs the dog.[(triple1)] The cow needs the squirrel.[(triple2)] The cow sees the squirrel.[(triple3)] The dog needs the cow.[(triple4)] The squirrel likes the cow.[(triple5)] The squirrel needs the cow.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The dog needs the squirrel.[(((triple1) -> rule3))] @2: The cow likes the dog.[(((triple4 ((triple1) -> rule3)) -> rule6))] @3: The cow is big.[(((((triple4 ((triple1) -> rule3)) -> rule6)) -> rule4))] The cow sees the dog.[(((((triple4 ((triple1) -> rule3)) -> rule6)) -> rule5))]