Charlie is big. Charlie is blue. Gary is cold. If Gary is nice and Gary is cold then Gary is quiet. If someone is big then they are cold. Big, rough people are quiet. If Charlie is big and Charlie is kind then Charlie is quiet. If Charlie is cold then Charlie is kind. If someone is quiet and not kind then they are blue. All cold, nice people are blue. If someone is nice and big then they are not blue.
Gary is cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule2))] @2: Charlie is kind.[(((((triple1) -> rule2)) -> rule5))] @3: Charlie is quiet.[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule4))]