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