The dog chases the lion. The dog is kind. The dog is red. The dog is young. The dog sees the lion. The dog visits the lion. The lion chases the dog. The lion is big. The lion is red. The lion is young. The lion sees the dog. The lion visits the dog. If something sees the lion and it visits the lion then the lion is young. If something sees the dog then it sees the lion. If something sees the dog and it sees the lion then it visits the lion.
The lion does not chase the dog.
@0: The dog chases the lion.[(triple1)] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog is young.[(triple4)] The dog sees the lion.[(triple5)] The dog visits the lion.[(triple6)] The lion chases the dog.[(triple7)] The lion is big.[(triple8)] The lion is red.[(triple9)] The lion is young.[(triple10 OR ((triple5 triple6) -> rule1) OR ((((triple11) -> rule2) ((triple11 ((triple11) -> rule2)) -> rule3)) -> rule1))] The lion sees the dog.[(triple11)] The lion visits the dog.[(triple12)] @1: The lion sees the lion.[(((triple11) -> rule2))] @2: The lion visits the lion.[(((triple11 ((triple11) -> rule2)) -> rule3))]