Anne is cold. Bob is not big. Charlie is cold. Gary is not cold. If Charlie is cold then Charlie is not nice. All big people are not red. If someone is cold and not nice then they are quiet.
Bob is quiet.
@0: Anne is cold.[(triple1)] Bob is not big.[(triple2)] Charlie is cold.[(triple3)] Gary is not cold.[(triple4)] @1: Charlie is not nice.[(((triple3) -> rule1))] @2: Charlie is quiet.[(((triple3 ((triple3) -> rule1)) -> rule3))]