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