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