The dog chases the squirrel. The dog is rough. The dog sees the rabbit. The rabbit is green. The rabbit likes the squirrel. The rabbit sees the dog. The squirrel sees the rabbit. If something is green then it chases the squirrel. If something sees the rabbit and it likes the dog then the rabbit likes the squirrel. If the dog sees the rabbit and the dog chases the rabbit then the rabbit chases the squirrel. If the rabbit chases the dog then the dog chases the rabbit. If something sees the dog and it chases the squirrel then the squirrel chases the rabbit. If something is cold then it chases the dog. If something likes the rabbit then it sees the squirrel. If something chases the squirrel and it likes the squirrel then it likes the rabbit.
The squirrel does not chase the rabbit.
@0: The dog chases the squirrel.[(triple1)] The dog is rough.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit is green.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit sees the dog.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The rabbit chases the squirrel.[(((triple4) -> rule1))] @2: The rabbit likes the rabbit.[(((((triple4) -> rule1) triple5) -> rule8))] The squirrel chases the rabbit.[(((triple6 ((triple4) -> rule1)) -> rule5))] @3: The rabbit sees the squirrel.[(((((((triple4) -> rule1) triple5) -> rule8)) -> rule7))]