The lion eats the rabbit. The lion is cold. The lion is kind. The lion is red. The lion is rough. The lion is round. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit likes the lion. The rabbit visits the lion. If something is cold then it eats the lion. If the lion is rough and the lion likes the rabbit then the lion eats the rabbit. If something eats the lion then the lion visits the rabbit. If something visits the lion and it is round then the lion is round. If something is rough then it visits the rabbit. If something likes the rabbit and it likes the lion then the lion eats the rabbit. If the lion is round and the lion visits the rabbit then the rabbit eats the lion. If something visits the rabbit and it likes the rabbit then the rabbit visits the lion.
The rabbit does not eat the rabbit.
@0: The lion eats the rabbit.[(triple1 OR ((triple5 triple7) -> rule2))] The lion is cold.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6 OR ((triple16 triple14) -> rule4) OR ((((triple8 triple7) -> rule8) triple14) -> rule4) OR ((((((triple5) -> rule5) triple7) -> rule8) triple14) -> rule4) OR ((((((triple9) -> rule3) triple7) -> rule8) triple14) -> rule4) OR ((((((((triple10) -> rule1)) -> rule3) triple7) -> rule8) triple14) -> rule4) OR ((((((((triple2) -> rule1)) -> rule3) triple7) -> rule8) triple14) -> rule4))] The lion likes the rabbit.[(triple7)] The lion visits the rabbit.[(triple8 OR ((triple5) -> rule5) OR ((triple9) -> rule3) OR ((((triple10) -> rule1)) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] The rabbit eats the lion.[(triple9 OR ((triple10) -> rule1) OR ((triple6 triple8) -> rule7) OR ((triple6 ((triple5) -> rule5)) -> rule7) OR ((((triple16 triple14) -> rule4) triple8) -> rule7) OR ((((triple16 triple14) -> rule4) ((triple5) -> rule5)) -> rule7) OR ((triple6 ((((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((((triple8 triple7) -> rule8) triple14) -> rule4) triple8) -> rule7) OR ((((triple16 triple14) -> rule4) ((((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((((triple8 triple7) -> rule8) triple14) -> rule4) ((triple5) -> rule5)) -> rule7) OR ((((((triple8 triple7) -> rule8) triple14) -> rule4) ((((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple5) -> rule5) triple7) -> rule8) triple14) -> rule4) triple8) -> rule7) OR ((((((((triple5) -> rule5) triple7) -> rule8) triple14) -> rule4) ((triple5) -> rule5)) -> rule7) OR ((((((((triple5) -> rule5) triple7) -> rule8) triple14) -> rule4) ((((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((((((((triple2) -> rule1)) -> rule3) triple7) -> rule8) triple14) -> rule4) triple8) -> rule7) OR ((((((((((triple2) -> rule1)) -> rule3) triple7) -> rule8) triple14) -> rule4) ((triple5) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule1)) -> rule3) triple7) -> rule8) triple14) -> rule4) ((((triple2) -> rule1)) -> rule3)) -> rule7))] The rabbit is cold.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is red.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit likes the lion.[(triple15)] The rabbit visits the lion.[(triple16 OR ((triple8 triple7) -> rule8) OR ((((triple5) -> rule5) triple7) -> rule8) OR ((((triple9) -> rule3) triple7) -> rule8) OR ((((((triple10) -> rule1)) -> rule3) triple7) -> rule8) OR ((((((triple2) -> rule1)) -> rule3) triple7) -> rule8))] @1: The lion eats the lion.[(((triple2) -> rule1))] The rabbit visits the rabbit.[(((triple13) -> rule5))]