The squirrel is green. The squirrel is kind. The squirrel is round. All green things are kind.
The squirrel is not big.
@0: The squirrel is green.[(triple1)] The squirrel is kind.[(triple2 OR ((triple1) -> rule1))] The squirrel is round.[(triple3)]