The lion is nice. The lion likes the squirrel. The lion needs the squirrel. The lion sees the squirrel. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel likes the lion. The squirrel needs the lion. The squirrel sees the lion. If the lion is green then the lion sees the squirrel. If someone needs the lion then the lion sees the squirrel. If someone sees the squirrel then the squirrel sees the lion. If the squirrel needs the lion then the squirrel is rough. If someone is green and they need the lion then they see the lion. If someone sees the lion then they like the lion. If someone sees the lion and the lion likes the squirrel then they are rough. If someone is rough then they like the squirrel.
The squirrel is not nice.
@0: The lion is nice.[(triple1)] The lion likes the squirrel.[(triple2)] The lion needs the squirrel.[(triple3)] The lion sees the squirrel.[(triple4 OR ((triple9) -> rule2))] The squirrel is cold.[(triple5)] The squirrel is green.[(triple6)] The squirrel is nice.[(triple7)] The squirrel likes the lion.[(triple8 OR ((triple10) -> rule6) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple6 triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule2)) -> rule3)) -> rule6))] The squirrel needs the lion.[(triple9)] The squirrel sees the lion.[(triple10 OR ((triple4) -> rule3) OR ((triple6 triple9) -> rule5) OR ((((triple9) -> rule2)) -> rule3))] @1: The squirrel is rough.[(((triple9) -> rule4) OR ((triple10 triple2) -> rule7) OR ((((triple4) -> rule3) triple2) -> rule7) OR ((((triple6 triple9) -> rule5) triple2) -> rule7) OR ((((((triple9) -> rule2)) -> rule3) triple2) -> rule7))] @2: The squirrel likes the squirrel.[(((((triple9) -> rule4)) -> rule8) OR ((((triple10 triple2) -> rule7)) -> rule8) OR ((((((triple4) -> rule3) triple2) -> rule7)) -> rule8) OR ((((((triple6 triple9) -> rule5) triple2) -> rule7)) -> rule8) OR ((((((((triple9) -> rule2)) -> rule3) triple2) -> rule7)) -> rule8))]