The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is young. Blue, cold people are young. Rough, nice people are cold.
The squirrel visits the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2 OR ((triple4 triple3) -> rule2))] The squirrel is nice.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple4 triple3) -> rule2)) -> rule1))]