The lion chases the squirrel. The lion is nice. The lion is young. The lion needs the squirrel. The squirrel is nice. The squirrel needs the lion. The squirrel visits the lion. If someone needs the squirrel and they visit the lion then the lion visits the squirrel. If someone is round then they are young. If someone is young then they chase the squirrel. If someone is young and they need the squirrel then they chase the lion. If the lion visits the squirrel and the squirrel chases the lion then the lion chases the squirrel. If someone is young then they need the squirrel. If someone visits the lion and the lion needs the squirrel then the squirrel is young. If someone is rough then they need the lion.
The lion chases the squirrel.
@0: The lion chases the squirrel.[(triple1 OR ((triple3) -> rule3) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1) ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4)) -> rule5))] The lion is nice.[(triple2)] The lion is young.[(triple3)] The lion needs the squirrel.[(triple4 OR ((triple3) -> rule6))] The squirrel is nice.[(triple5)] The squirrel needs the lion.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The lion chases the lion.[(((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4))] The squirrel is young.[(((triple7 triple4) -> rule7) OR ((triple7 ((triple3) -> rule6)) -> rule7))] @2: The squirrel chases the squirrel.[(((((triple7 triple4) -> rule7)) -> rule3) OR ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule3))] The squirrel needs the squirrel.[(((((triple7 triple4) -> rule7)) -> rule6) OR ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6))] @3: The lion visits the squirrel.[(((((((triple7 triple4) -> rule7)) -> rule6) triple7) -> rule1) OR ((((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6) triple7) -> rule1))] The squirrel chases the lion.[(((((triple7 triple4) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 triple4) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 triple4) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 ((triple3) -> rule6)) -> rule7) ((((triple7 ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule4))]