The squirrel is big. The squirrel is round. The squirrel is young. All big things are red. Kind, red things are big. If something is big then it is round.
The squirrel is not young.
@0: The squirrel is big.[(triple1)] The squirrel is round.[(triple2 OR ((triple1) -> rule3))] The squirrel is young.[(triple3)] @1: The squirrel is red.[(((triple1) -> rule1))]