The dog eats the lion. The dog is blue. The dog is cold. The dog is green. The dog is red. The dog sees the lion. The dog visits the lion. The lion eats the dog. The lion is cold. The lion is kind. The lion sees the dog. The lion visits the dog. If someone sees the dog and the dog visits the lion then they visit the dog. If someone is kind and they eat the dog then they eat the lion. If someone eats the lion then the lion sees the dog. If someone eats the lion then they see the dog. If someone sees the dog and they eat the dog then they visit the dog. If the lion visits the dog and the dog visits the lion then the dog sees the lion.
The lion is not green.
@0: The dog eats the lion.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is red.[(triple5)] The dog sees the lion.[(triple6 OR ((triple12 triple7) -> rule6) OR ((((triple11 triple7) -> rule1) triple7) -> rule6) OR ((((triple11 triple8) -> rule5) triple7) -> rule6) OR ((((((triple1) -> rule3) triple7) -> rule1) triple7) -> rule6) OR ((((((triple1) -> rule3) triple8) -> rule5) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule3) triple7) -> rule1) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule3) triple8) -> rule5) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule4) triple7) -> rule1) triple7) -> rule6) OR ((((((((triple10 triple8) -> rule2)) -> rule4) triple8) -> rule5) triple7) -> rule6))] The dog visits the lion.[(triple7)] The lion eats the dog.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion sees the dog.[(triple11 OR ((triple1) -> rule3) OR ((((triple10 triple8) -> rule2)) -> rule3) OR ((((triple10 triple8) -> rule2)) -> rule4))] The lion visits the dog.[(triple12 OR ((triple11 triple7) -> rule1) OR ((triple11 triple8) -> rule5) OR ((((triple1) -> rule3) triple7) -> rule1) OR ((((triple1) -> rule3) triple8) -> rule5) OR ((((((triple10 triple8) -> rule2)) -> rule3) triple7) -> rule1) OR ((((((triple10 triple8) -> rule2)) -> rule3) triple8) -> rule5) OR ((((((triple10 triple8) -> rule2)) -> rule4) triple7) -> rule1) OR ((((((triple10 triple8) -> rule2)) -> rule4) triple8) -> rule5))] @1: The dog sees the dog.[(((triple1) -> rule4))] The lion eats the lion.[(((triple10 triple8) -> rule2))] @2: The dog visits the dog.[(((((triple1) -> rule4) triple7) -> rule1))]