The squirrel is big. The squirrel is kind. The squirrel is not red. The squirrel is round. The squirrel is not young. All big things are not young. All red things are young. If something is red then it is young. If something is red and not round then it is not young. Big things are kind. If something is kind and not round then it is not big. If the squirrel is kind and the squirrel is not big then the squirrel is young. If the squirrel is kind then the squirrel is not young.
The squirrel does not see the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is kind.[(triple2 OR ((triple1) -> rule5))] The squirrel is not red.[(triple3)] The squirrel is not young.[(triple5 OR ((triple1) -> rule1) OR ((triple2) -> rule8) OR ((((triple1) -> rule5)) -> rule8))] The squirrel is round.[(triple4)]