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