The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is young. If something is nice and big then it is young. All nice, green things are young. If the squirrel is kind then the squirrel is nice. If the squirrel is nice and the squirrel is big then the squirrel is green. If the squirrel is green then the squirrel is young. If the squirrel is nice and the squirrel is green then the squirrel is young.
The squirrel is not young.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple4 triple1) -> rule4) OR ((((triple3) -> rule3) triple1) -> rule4))] The squirrel is kind.[(triple3)] The squirrel is nice.[(triple4 OR ((triple3) -> rule3))] The squirrel is young.[(triple5 OR ((triple2) -> rule5) OR ((triple4 triple1) -> rule1) OR ((triple4 triple2) -> rule2) OR ((triple4 triple2) -> rule6) OR ((((triple4 triple1) -> rule4)) -> rule5) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule2) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule6) OR ((((triple3) -> rule3) triple1) -> rule1) OR ((((triple3) -> rule3) triple2) -> rule2) OR ((((triple3) -> rule3) triple2) -> rule6) OR ((((triple3) -> rule3) ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule3) ((triple4 triple1) -> rule4)) -> rule6) OR ((((((triple3) -> rule3) triple1) -> rule4)) -> rule5) OR ((triple4 ((((triple3) -> rule3) triple1) -> rule4)) -> rule2) OR ((triple4 ((((triple3) -> rule3) triple1) -> rule4)) -> rule6) OR ((((triple3) -> rule3) ((((triple3) -> rule3) triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule3) ((((triple3) -> rule3) triple1) -> rule4)) -> rule6))]