The lion is kind. The mouse visits the squirrel. The squirrel chases the lion. The squirrel chases the mouse. The squirrel is cold. The tiger is big. The tiger is kind. If someone needs the squirrel then the squirrel is rough. If someone is cold then they need the squirrel. If someone chases the squirrel and they chase the tiger then they do not chase the lion. If someone is rough and they chase the mouse then the mouse does not visit the tiger. If someone chases the tiger then they are green. If the mouse does not chase the lion then the lion needs the tiger.
The mouse does not visit the squirrel.
@0: The lion is kind.[(triple1)] The mouse visits the squirrel.[(triple2)] The squirrel chases the lion.[(triple3)] The squirrel chases the mouse.[(triple4)] The squirrel is cold.[(triple5)] The tiger is big.[(triple6)] The tiger is kind.[(triple7)] @1: The squirrel needs the squirrel.[(((triple5) -> rule2))] @2: The squirrel is rough.[(((((triple5) -> rule2)) -> rule1))] @3: The mouse does not visit the tiger.[(((((((triple5) -> rule2)) -> rule1) triple4) -> rule4))]