The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is blue. The lion is kind. The lion is nice. The lion likes the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit likes the lion. If something is big then it eats the lion. If something eats the lion then it is nice. If something is kind and red then it likes the rabbit. If the lion chases the rabbit then the rabbit is nice. If something eats the lion then it chases the rabbit. If something eats the lion then it is red. If something is red and it eats the rabbit then it chases the lion. If something chases the lion then the lion eats the rabbit.
The lion does not like the lion.
@0: The lion chases the rabbit.[(triple1 OR ((((triple3) -> rule1)) -> rule5))] The lion eats the rabbit.[(triple2 OR ((triple8) -> rule8))] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is kind.[(triple5)] The lion is nice.[(triple6 OR ((((triple3) -> rule1)) -> rule2))] The lion likes the rabbit.[(triple7 OR ((triple5 ((((triple3) -> rule1)) -> rule6)) -> rule3))] The rabbit chases the lion.[(triple8)] The rabbit eats the lion.[(triple9 OR ((triple10) -> rule1))] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is nice.[(triple13 OR ((triple1) -> rule4) OR ((triple9) -> rule2) OR ((((triple10) -> rule1)) -> rule2) OR ((((((triple3) -> rule1)) -> rule5)) -> rule4))] The rabbit is red.[(triple14 OR ((triple9) -> rule6) OR ((((triple10) -> rule1)) -> rule6))] The rabbit likes the lion.[(triple15)] @1: The lion eats the lion.[(((triple3) -> rule1))] The rabbit chases the rabbit.[(((triple9) -> rule5) OR ((((triple10) -> rule1)) -> rule5))] The rabbit likes the rabbit.[(((triple12 triple14) -> rule3) OR ((triple12 ((triple9) -> rule6)) -> rule3) OR ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule3))] @2: The lion is red.[(((((triple3) -> rule1)) -> rule6))] @3: The lion chases the lion.[(((((((triple3) -> rule1)) -> rule6) triple2) -> rule7) OR ((((((triple3) -> rule1)) -> rule6) ((triple8) -> rule8)) -> rule7))]