The lion chases the mouse. The lion is not blue. The lion is not nice. The lion likes the squirrel. The mouse chases the squirrel. The mouse is rough. The mouse likes the squirrel. The squirrel chases the lion. The squirrel is nice. The squirrel likes the lion. If someone chases the lion then the lion chases the squirrel. If someone is nice and they need the lion then they do not chase the squirrel. If someone is nice and they do not like the lion then the lion is red. If someone chases the squirrel then the squirrel does not need the mouse. If someone likes the lion then the lion needs the squirrel. If someone needs the squirrel then the squirrel needs the lion.
The mouse is red.
@0: The lion chases the mouse.[(triple1)] The lion is not blue.[(triple2)] The lion is not nice.[(triple3)] The lion likes the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the squirrel.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the lion.[(triple10)] @1: The lion chases the squirrel.[(((triple8) -> rule1))] The lion needs the squirrel.[(((triple10) -> rule5))] The squirrel does not need the mouse.[(((triple5) -> rule4) OR ((((triple8) -> rule1)) -> rule4))] @2: The squirrel needs the lion.[(((((triple10) -> rule5)) -> rule6))] @3: The squirrel does not chase the squirrel.[(((triple9 ((((triple10) -> rule5)) -> rule6)) -> rule2))]