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