Anne is round. Charlie is red. Gary is not rough. All quiet, red people are smart. If someone is quiet then they are smart. All cold people are smart. All quiet people are blue. If Charlie is smart then Charlie is not blue. If someone is blue then they are rough. If Anne is cold then Anne is rough. All red people are cold.
Charlie is blue.
@0: Anne is round.[(triple1)] Charlie is red.[(triple2)] Gary is not rough.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule8))] @2: Charlie is smart.[(((((triple2) -> rule8)) -> rule3))] @3: Charlie is not blue.[(((((((triple2) -> rule8)) -> rule3)) -> rule5))]