The dog sees the lion. The lion is round. The squirrel does not see the lion. If something sees the lion then the lion is round. If something likes the dog then the dog likes the squirrel. If something sees the squirrel then it eats the squirrel. If something sees the lion then it likes the dog. If something is round and not rough then it eats the lion. If something likes the squirrel then it is not kind. If something eats the lion and it does not see the dog then it does not eat the dog. If something is kind and it does not see the dog then the dog does not eat the squirrel.
The dog likes the squirrel.
@0: The dog sees the lion.[(triple1)] The lion is round.[(triple2 OR ((triple1) -> rule1))] The squirrel does not see the lion.[(triple3)] @1: The dog likes the dog.[(((triple1) -> rule4))] @2: The dog likes the squirrel.[(((((triple1) -> rule4)) -> rule2))] @3: The dog is not kind.[(((((((triple1) -> rule4)) -> rule2)) -> rule6))]