The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. If something is nice then it is young. If something is cold then it is red. If something is young and rough then it is cold.
The squirrel is cold.
@0: The squirrel is cold.[(triple1 OR ((triple5 triple4) -> rule3) OR ((((triple2) -> rule1) triple4) -> rule3))] The squirrel is nice.[(triple2)] The squirrel is red.[(triple3 OR ((triple1) -> rule2) OR ((((triple5 triple4) -> rule3)) -> rule2) OR ((((((triple2) -> rule1) triple4) -> rule3)) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule1))]