The dog is round. The dog likes the lion. The lion chases the dog. The lion eats the dog. The lion is big. The lion is red. The lion likes the dog. If the dog is cold then the dog eats the lion. If someone is cold and they eat the lion then they like the dog. If the dog likes the lion and the lion eats the dog then the dog chases the lion. If someone is round then they chase the lion. If the lion likes the dog and the dog likes the lion then the lion is big. If the dog eats the lion and the lion eats the dog then the lion is green. If someone chases the dog and they are big then the dog is cold. If someone likes the lion and they chase the lion then they chase the dog.
The dog does not chase the dog.
@0: The dog is round.[(triple1)] The dog likes the lion.[(triple2)] The lion chases the dog.[(triple3)] The lion eats the dog.[(triple4)] The lion is big.[(triple5 OR ((triple7 triple2) -> rule5))] The lion is red.[(triple6)] The lion likes the dog.[(triple7)] @1: The dog chases the lion.[(((triple1) -> rule4) OR ((triple2 triple4) -> rule3))] The dog is cold.[(((triple3 triple5) -> rule7) OR ((triple3 ((triple7 triple2) -> rule5)) -> rule7))] @2: The dog chases the dog.[(((triple2 ((triple1) -> rule4)) -> rule8) OR ((triple2 ((triple2 triple4) -> rule3)) -> rule8))] The dog eats the lion.[(((((triple3 triple5) -> rule7)) -> rule1) OR ((((triple3 ((triple7 triple2) -> rule5)) -> rule7)) -> rule1))] @3: The dog likes the dog.[(((((triple3 triple5) -> rule7) ((((triple3 triple5) -> rule7)) -> rule1)) -> rule2) OR ((((triple3 ((triple7 triple2) -> rule5)) -> rule7) ((((triple3 triple5) -> rule7)) -> rule1)) -> rule2) OR ((((triple3 triple5) -> rule7) ((((triple3 ((triple7 triple2) -> rule5)) -> rule7)) -> rule1)) -> rule2) OR ((((triple3 ((triple7 triple2) -> rule5)) -> rule7) ((((triple3 ((triple7 triple2) -> rule5)) -> rule7)) -> rule1)) -> rule2))] The lion is green.[(((((((triple3 triple5) -> rule7)) -> rule1) triple4) -> rule6) OR ((((((triple3 ((triple7 triple2) -> rule5)) -> rule7)) -> rule1) triple4) -> rule6))]