The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is young. Rough people are nice. If someone is blue and young then they are nice. All kind people are young.
The squirrel is not young.
@0: The squirrel is blue.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3 OR ((triple4) -> rule1) OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple2) -> rule3)) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule3))]