The cow chases the squirrel. The cow is young. The cow sees the squirrel. The dog is round. The dog likes the rabbit. The dog likes the squirrel. The dog sees the rabbit. The rabbit chases the cow. The rabbit does not chase the dog. The squirrel chases the rabbit. The squirrel is young. The squirrel likes the cow. If someone chases the cow then the cow is big. If someone likes the rabbit and they do not see the squirrel then they are big. If someone is big then they like the rabbit. If someone is young then they do not see the dog. If someone is blue then they chase the cow. If someone likes the rabbit then they like the cow. If someone likes the cow then they see the cow. If someone sees the cow and they chase the squirrel then they see the rabbit.
The rabbit does not see the cow.
@0: The cow chases the squirrel.[(triple1)] The cow is young.[(triple2)] The cow sees the squirrel.[(triple3)] The dog is round.[(triple4)] The dog likes the rabbit.[(triple5)] The dog likes the squirrel.[(triple6)] The dog sees the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit does not chase the dog.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel is young.[(triple11)] The squirrel likes the cow.[(triple12)] @1: The cow does not see the dog.[(((triple2) -> rule4))] The cow is big.[(((triple8) -> rule1))] The dog likes the cow.[(((triple5) -> rule6))] The squirrel does not see the dog.[(((triple11) -> rule4))] The squirrel sees the cow.[(((triple12) -> rule7))] @2: The cow likes the rabbit.[(((((triple8) -> rule1)) -> rule3))] The dog sees the cow.[(((((triple5) -> rule6)) -> rule7))] @3: The cow likes the cow.[(((((((triple8) -> rule1)) -> rule3)) -> rule6))] @4: The cow sees the cow.[(((((((((triple8) -> rule1)) -> rule3)) -> rule6)) -> rule7))] @5: The cow sees the rabbit.[(((((((((((triple8) -> rule1)) -> rule3)) -> rule6)) -> rule7) triple1) -> rule8))]