The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel is young. If the squirrel is green then the squirrel is young. Young, green people are nice. Young people are cold.
The squirrel is not nice.
@0: The squirrel is cold.[(triple1 OR ((triple5) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3 OR ((triple5 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule1))]