The dog chases the lion. The dog chases the tiger. The dog is big. The dog is green. The dog sees the lion. The dog sees the tiger. The dog visits the lion. The dog visits the tiger. The lion is big. The lion visits the dog. The tiger chases the lion. The tiger visits the lion. If the lion chases the tiger then the tiger sees the dog. If someone visits the lion and they see the tiger then the lion chases the tiger. If the dog is young and the dog is green then the dog chases the lion. If the dog chases the tiger and the dog sees the tiger then the tiger is young. If someone sees the tiger then the tiger chases the lion. If someone sees the lion and they are green then the lion sees the dog. If someone sees the lion then the lion is green. If someone sees the lion and the lion chases the dog then they are blue.
The tiger visits the tiger.
@0: The dog chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog sees the lion.[(triple5)] The dog sees the tiger.[(triple6)] The dog visits the lion.[(triple7)] The dog visits the tiger.[(triple8)] The lion is big.[(triple9)] The lion visits the dog.[(triple10)] The tiger chases the lion.[(triple11 OR ((triple6) -> rule5))] The tiger visits the lion.[(triple12)] @1: The lion chases the tiger.[(((triple7 triple6) -> rule2))] The lion is green.[(((triple5) -> rule7))] The lion sees the dog.[(((triple5 triple4) -> rule6))] The tiger is young.[(((triple2 triple6) -> rule4))] @2: The tiger sees the dog.[(((((triple7 triple6) -> rule2)) -> rule1))]