The lion eats the rabbit. The lion is kind. The lion needs the rabbit. The lion visits the mouse. The mouse is blue. The mouse is kind. The mouse is rough. The mouse is young. The mouse needs the lion. The mouse visits the rabbit. The rabbit eats the lion. The rabbit needs the lion. The rabbit needs the mouse. The rabbit visits the lion. The rabbit visits the mouse. If something needs the rabbit and it visits the rabbit then it is round. If something needs the mouse and it needs the lion then the lion visits the rabbit. If something visits the lion then the lion eats the rabbit. If something is kind and it needs the rabbit then it needs the mouse. If the rabbit is kind and the rabbit eats the lion then the rabbit visits the lion. If something is round and it visits the mouse then it eats the mouse. If something is kind and it needs the mouse then the mouse needs the lion. If something needs the mouse and the mouse eats the lion then the lion needs the mouse.
The lion is round.
@0: The lion eats the rabbit.[(triple1 OR ((triple14) -> rule3))] The lion is kind.[(triple2)] The lion needs the rabbit.[(triple3)] The lion visits the mouse.[(triple4)] The mouse is blue.[(triple5)] The mouse is kind.[(triple6)] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] The mouse needs the lion.[(triple9 OR ((triple2 ((triple2 triple3) -> rule4)) -> rule7))] The mouse visits the rabbit.[(triple10)] The rabbit eats the lion.[(triple11)] The rabbit needs the lion.[(triple12)] The rabbit needs the mouse.[(triple13)] The rabbit visits the lion.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The lion needs the mouse.[(((triple2 triple3) -> rule4))] The lion visits the rabbit.[(((triple13 triple12) -> rule2))] @2: The lion is round.[(((triple3 ((triple13 triple12) -> rule2)) -> rule1))] @3: The lion eats the mouse.[(((((triple3 ((triple13 triple12) -> rule2)) -> rule1) triple4) -> rule6))]