The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel is young. If something is rough then it is nice. All green things are nice. If something is young and not cold then it is nice. All rough, nice things are green. All nice things are young. If the squirrel is young and the squirrel is not rough then the squirrel is green.
The squirrel does not like the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2 OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule4))] The squirrel is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple4) -> rule1))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple4) -> rule1)) -> rule5))]