The lion is cold. The lion is nice. The lion is red. The lion visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel needs the lion. The squirrel sees the lion. The squirrel visits the lion. If something needs the lion and the lion visits the squirrel then it is rough. If something sees the lion then it is green. If something needs the squirrel and it visits the squirrel then the squirrel needs the lion. If something needs the lion then the lion needs the squirrel. If something needs the squirrel then it is rough. If something needs the squirrel then the squirrel sees the lion. If something is green and it sees the lion then it is cold. If something is rough and red then it needs the lion.
The lion is rough.
@0: The lion is cold.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion visits the squirrel.[(triple4)] The squirrel is cold.[(triple5 OR ((triple6 triple9) -> rule7) OR ((((triple9) -> rule2) triple9) -> rule7) OR ((triple6 ((((triple8) -> rule4)) -> rule6)) -> rule7) OR ((((triple9) -> rule2) ((((triple8) -> rule4)) -> rule6)) -> rule7) OR ((((((((triple8) -> rule4)) -> rule6)) -> rule2) triple9) -> rule7) OR ((((((((triple8) -> rule4)) -> rule6)) -> rule2) ((((triple8) -> rule4)) -> rule6)) -> rule7))] The squirrel is green.[(triple6 OR ((triple9) -> rule2) OR ((((((triple8) -> rule4)) -> rule6)) -> rule2))] The squirrel is rough.[(triple7 OR ((triple8 triple4) -> rule1))] The squirrel needs the lion.[(triple8)] The squirrel sees the lion.[(triple9 OR ((((triple8) -> rule4)) -> rule6))] The squirrel visits the lion.[(triple10)] @1: The lion needs the squirrel.[(((triple8) -> rule4))] @2: The lion is rough.[(((((triple8) -> rule4)) -> rule5))] @3: The lion needs the lion.[(((((((triple8) -> rule4)) -> rule5) triple3) -> rule8))]