Charlie is cold. Charlie is smart. Dave is cold. Cold things are white. Smart things are cold. Furry, white things are cold. All kind, smart things are red. If something is white and cold then it is smart. All red things are cold.
Dave is kind.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule2))] Charlie is smart.[(triple2 OR ((((triple1) -> rule1) triple1) -> rule5))] Dave is cold.[(triple3)] @1: Charlie is white.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Dave is white.[(((triple3) -> rule1))] @2: Dave is smart.[(((((triple3) -> rule1) triple3) -> rule5))]