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