The lion eats the rabbit. The lion is big. The lion is nice. The lion is rough. The lion is round. The lion is young. The lion visits the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is big. The rabbit is nice. The rabbit visits the lion. If the rabbit visits the lion and the lion visits the rabbit then the rabbit eats the lion. If something eats the rabbit and it is round then it visits the rabbit. If something is round and it chases the lion then the lion visits the rabbit. If the rabbit eats the lion and the lion is nice then the rabbit visits the lion. If something eats the rabbit then the rabbit visits the lion. If something chases the rabbit and it eats the lion then the lion visits the rabbit. If something is young and it visits the lion then the lion eats the rabbit. If the lion is big then the lion eats the rabbit.
The lion is not young.
@0: The lion eats the rabbit.[(triple1 OR ((triple2) -> rule8))] The lion is big.[(triple2)] The lion is nice.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion visits the rabbit.[(triple7 OR ((triple1 triple5) -> rule2) OR ((((triple2) -> rule8) triple5) -> rule2))] The rabbit chases the lion.[(triple8)] The rabbit eats the lion.[(triple9 OR ((triple12 triple7) -> rule1) OR ((triple12 ((triple1 triple5) -> rule2)) -> rule1) OR ((((triple1) -> rule5) triple7) -> rule1) OR ((((triple1) -> rule5) ((triple1 triple5) -> rule2)) -> rule1) OR ((triple12 ((((triple2) -> rule8) triple5) -> rule2)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5) triple7) -> rule1) OR ((((triple1) -> rule5) ((((triple2) -> rule8) triple5) -> rule2)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5) ((triple1 triple5) -> rule2)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8) triple5) -> rule2)) -> rule1))] The rabbit is big.[(triple10)] The rabbit is nice.[(triple11)] The rabbit visits the lion.[(triple12 OR ((triple1) -> rule5) OR ((triple9 triple3) -> rule4) OR ((((triple2) -> rule8)) -> rule5))]