The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is young. All red, green people are kind. All young, kind people are nice.
The squirrel is red.
@0: The squirrel is green.[(triple1)] The squirrel is kind.[(triple2 OR ((triple4 triple1) -> rule1))] The squirrel is nice.[(triple3 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple4 triple1) -> rule1)) -> rule2))] The squirrel is red.[(triple4)] The squirrel is young.[(triple5)]