The squirrel is not green. The squirrel is not nice. The squirrel is rough. The squirrel is not round. The squirrel is young. Nice things are green. All nice things are green. If something is round and not green then it is rough. If something is round and not rough then it is young. If something is rough and not nice then it is young. If something is nice then it is young.
The squirrel is not round.
@0: The squirrel is not green.[(triple1)] The squirrel is not nice.[(triple2)] The squirrel is not round.[(triple4)] The squirrel is rough.[(triple3)] The squirrel is young.[(triple5 OR ((triple3 triple2) -> rule5))]