The lion is blue. The lion is kind. The lion is nice. The lion is red. The lion is rough. The lion needs the squirrel. The lion sees the squirrel. The lion visits the squirrel. The squirrel is kind. The squirrel does not need the lion. The squirrel sees the lion. The squirrel visits the lion. If someone sees the lion and the lion needs the squirrel then they visit the lion. If someone is blue and kind then they see the squirrel. If someone sees the squirrel then the squirrel sees the lion.
The lion does not visit the lion.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion needs the squirrel.[(triple6)] The lion sees the squirrel.[(triple7 OR ((triple1 triple2) -> rule2))] The lion visits the squirrel.[(triple8)] The squirrel does not need the lion.[(triple10)] The squirrel is kind.[(triple9)] The squirrel sees the lion.[(triple11 OR ((triple7) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule3))] The squirrel visits the lion.[(triple12 OR ((triple11 triple6) -> rule1) OR ((((triple7) -> rule3) triple6) -> rule1) OR ((((((triple1 triple2) -> rule2)) -> rule3) triple6) -> rule1))]