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