The squirrel is not green. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. Round, kind people are rough. If someone is nice and not round then they are green.
The squirrel eats the squirrel.
@0: The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is not green.[(triple1)] The squirrel is rough.[(triple4 OR ((triple5 triple2) -> rule1))] The squirrel is round.[(triple5)]