The dog is round. The squirrel chases the dog. The squirrel sees the dog. If something likes the dog then it sees the squirrel. If something chases the squirrel then it sees the squirrel. If something sees the squirrel then it is young. Kind things are young. If something likes the dog then it chases the squirrel. If something is round then it likes the dog. If something sees the squirrel and the squirrel likes the dog then it likes the squirrel. If the squirrel chases the dog and the squirrel is rough then the squirrel likes the dog.
The dog is young.
@0: The dog is round.[(triple1)] The squirrel chases the dog.[(triple2)] The squirrel sees the dog.[(triple3)] @1: The dog likes the dog.[(((triple1) -> rule6))] @2: The dog chases the squirrel.[(((((triple1) -> rule6)) -> rule5))] The dog sees the squirrel.[(((((triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5)) -> rule2))] @3: The dog is young.[(((((((triple1) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule2)) -> rule3))]