The lion sees the squirrel. The lion does not visit the squirrel. The squirrel visits the lion. If the squirrel sees the lion then the squirrel is red. If something sees the squirrel then the squirrel is red. If something is red and it does not see the lion then it sees the squirrel. If something visits the lion then the lion is round. If something visits the lion then the lion is rough. If the squirrel is red and the squirrel visits the lion then the lion is blue. All blue things are rough. If the lion sees the squirrel and the squirrel needs the lion then the squirrel is not blue.
The lion is round.
@0: The lion does not visit the squirrel.[(triple2)] The lion sees the squirrel.[(triple1)] The squirrel visits the lion.[(triple3)] @1: The lion is rough.[(((triple3) -> rule5) OR ((((((triple1) -> rule2) triple3) -> rule6)) -> rule7))] The lion is round.[(((triple3) -> rule4))] The squirrel is red.[(((triple1) -> rule2))] @2: The lion is blue.[(((((triple1) -> rule2) triple3) -> rule6))]