The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is not rough. The squirrel is young. Rough things are blue. All green things are blue. Rough, blue things are kind.
The squirrel is not young.
@0: The squirrel is blue.[(triple1 OR ((triple2) -> rule2))] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is not rough.[(triple4)] The squirrel is young.[(triple5)]