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