The lion does not chase the squirrel. The lion is big. The lion is young. The lion sees the squirrel. The squirrel chases the lion. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel needs the lion. The squirrel sees the lion. If someone needs the squirrel then the squirrel needs the lion. If someone is young then they are kind. If someone sees the lion then the lion is round. If someone is kind and they need the lion then they need the squirrel. If someone needs the squirrel and the squirrel is young then the squirrel chases the lion. If someone sees the squirrel and the squirrel is young then they chase the lion. If someone chases the lion then they need the lion. If someone chases the lion and the lion sees the squirrel then they see the lion.
The lion needs the squirrel.
@0: The lion does not chase the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is young.[(triple3)] The lion sees the squirrel.[(triple4)] The squirrel chases the lion.[(triple5 OR ((((triple6 triple9) -> rule4) triple8) -> rule5) OR ((((((triple8) -> rule2) triple9) -> rule4) triple8) -> rule5) OR ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5) OR ((((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) OR ((((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5))] The squirrel is kind.[(triple6 OR ((triple8) -> rule2))] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the lion.[(triple9 OR ((triple5) -> rule7) OR ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7))] The squirrel sees the lion.[(triple10 OR ((triple5 triple4) -> rule8) OR ((((((triple6 triple9) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple8) -> rule2) triple9) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8) OR ((((((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8))] @1: The lion chases the lion.[(((triple4 triple8) -> rule6))] The lion is kind.[(((triple3) -> rule2))] The lion is round.[(((triple10) -> rule3) OR ((((triple5 triple4) -> rule8)) -> rule3) OR ((((((triple4 triple8) -> rule6) triple4) -> rule8)) -> rule3) OR ((((((((triple6 triple9) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((((triple8) -> rule2) triple9) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) triple8) -> rule5) triple4) -> rule8)) -> rule3))] The squirrel needs the squirrel.[(((triple6 triple9) -> rule4) OR ((triple6 ((triple5) -> rule7)) -> rule4) OR ((((triple8) -> rule2) triple9) -> rule4) OR ((((triple8) -> rule2) ((triple5) -> rule7)) -> rule4) OR ((triple6 ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) OR ((((triple8) -> rule2) ((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule4) OR ((triple6 ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7)) -> rule4) OR ((((triple8) -> rule2) ((((((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4) triple8) -> rule5)) -> rule7)) -> rule4))] @2: The lion needs the lion.[(((((triple4 triple8) -> rule6)) -> rule7))] The lion sees the lion.[(((((triple4 triple8) -> rule6) triple4) -> rule8))] @3: The lion needs the squirrel.[(((((triple3) -> rule2) ((((triple4 triple8) -> rule6)) -> rule7)) -> rule4))]