Charlie is cold. All rough things are blue. If Charlie is cold then Charlie is red. Blue things are red. All cold, red things are rough. All blue things are kind. All rough things are green.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] @1: Charlie is red.[(((triple1) -> rule2))] @2: Charlie is rough.[(((triple1 ((triple1) -> rule2)) -> rule4))] @3: Charlie is blue.[(((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule1))] Charlie is green.[(((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule6))] @4: Charlie is kind.[(((((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule1)) -> rule5))]