Bob is kind. Erin is green. Gary is big. Harry is white. Big people are green. If Gary is green and Gary is not big then Gary is nice. If someone is big and not white then they are quiet. If someone is green and not white then they are quiet. If Gary is green then Gary is cold. If Harry is not white and Harry is not quiet then Harry is not cold. If someone is nice and not white then they are kind. All cold, green people are kind.
Gary is kind.
@0: Bob is kind.[(triple1)] Erin is green.[(triple2)] Gary is big.[(triple3)] Harry is white.[(triple4)] @1: Gary is green.[(((triple3) -> rule1))] @2: Gary is cold.[(((((triple3) -> rule1)) -> rule5))] @3: Gary is kind.[(((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule8))]