The dog eats the lion. The dog is big. The dog is cold. The dog is not red. The dog is rough. The dog is round. The dog does not like the lion. The dog visits the lion. The lion eats the dog. The lion is big. The lion is not cold. The lion is not red. The lion is rough. The lion likes the dog. The lion does not visit the dog. If someone visits the lion and the lion is not red then they are round. If the dog likes the lion and the lion likes the dog then the lion eats the dog. If someone eats the lion then they visit the lion. If someone is big then they visit the lion. If someone likes the dog and the dog is round then the dog eats the lion. If someone visits the dog then they like the dog.
The lion is round.
@0: The dog does not like the lion.[(triple7)] The dog eats the lion.[(triple1 OR ((triple14 triple6) -> rule5) OR ((triple14 ((triple8 triple12) -> rule1)) -> rule5) OR ((triple14 ((((triple2) -> rule4) triple12) -> rule1)) -> rule5))] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is not red.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6 OR ((triple8 triple12) -> rule1) OR ((((triple1) -> rule3) triple12) -> rule1) OR ((((triple2) -> rule4) triple12) -> rule1))] The dog visits the lion.[(triple8 OR ((triple1) -> rule3) OR ((triple2) -> rule4) OR ((((triple14 triple6) -> rule5)) -> rule3))] The lion does not visit the dog.[(triple15)] The lion eats the dog.[(triple9)] The lion is big.[(triple10)] The lion is not cold.[(triple11)] The lion is not red.[(triple12)] The lion is rough.[(triple13)] The lion likes the dog.[(triple14)] @1: The lion visits the lion.[(((triple10) -> rule4))] @2: The lion is round.[(((((triple10) -> rule4) triple12) -> rule1))]