The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel is young. If the squirrel is not round then the squirrel is not nice. If something is red then it is nice. If something is round and not red then it is not nice. Red things are young. Kind, nice things are young. If something is young then it is kind. If the squirrel is not nice then the squirrel is young. If the squirrel is round and the squirrel is red then the squirrel is young.
The squirrel does not eat the squirrel.
@0: The squirrel is kind.[(triple1 OR ((triple5) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple4 triple3) -> rule8)) -> rule6))] The squirrel is nice.[(triple2 OR ((triple3) -> rule2))] The squirrel is red.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5 OR ((triple3) -> rule4) OR ((triple1 triple2) -> rule5) OR ((triple4 triple3) -> rule8) OR ((triple1 ((triple3) -> rule2)) -> rule5))]