Charlie is cold. Gary is cold. If someone is furry and cold then they are rough. If someone is furry then they are big. If Gary is cold then Gary is furry. All red, big people are cold. All kind, cold people are white. Furry, red people are cold.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Gary is cold.[(triple2)] @1: Gary is furry.[(((triple2) -> rule3))] @2: Gary is big.[(((((triple2) -> rule3)) -> rule2))] Gary is rough.[(((((triple2) -> rule3) triple2) -> rule1))]