The lion chases the rabbit. The lion eats the rabbit. The lion is red. The lion is rough. The lion needs the rabbit. The rabbit chases the lion. The rabbit eats the lion. If something needs the rabbit then it eats the rabbit. If the lion eats the rabbit then the rabbit chases the lion. If something needs the lion then the lion chases the rabbit. If something eats the lion then the lion chases the rabbit. If the rabbit chases the lion then the rabbit needs the lion. If something chases the rabbit then it eats the rabbit.
The lion eats the lion.
@0: The lion chases the rabbit.[(triple1 OR ((triple7) -> rule4) OR ((((triple6) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule1)) -> rule2)) -> rule5)) -> rule3))] The lion eats the rabbit.[(triple2 OR ((triple1) -> rule6) OR ((triple5) -> rule1) OR ((((triple7) -> rule4)) -> rule6) OR ((((((triple6) -> rule5)) -> rule3)) -> rule6))] The lion is red.[(triple3)] The lion is rough.[(triple4)] The lion needs the rabbit.[(triple5)] The rabbit chases the lion.[(triple6 OR ((triple2) -> rule2) OR ((((triple1) -> rule6)) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((((triple7) -> rule4)) -> rule6)) -> rule2))] The rabbit eats the lion.[(triple7)] @1: The rabbit needs the lion.[(((triple6) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5) OR ((((((triple5) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple7) -> rule4)) -> rule6)) -> rule2)) -> rule5))]