Anne is smart. Bob is smart. Gary is blue. Harry is round. If someone is smart then they are quiet. If Gary is cold and Gary is round then Gary is furry. If someone is blue then they are rough. Rough people are smart. If someone is round then they are rough. All furry, cold people are smart.
Gary is not cold.
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Gary is blue.[(triple3)] Harry is round.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule1))] Bob is quiet.[(((triple2) -> rule1))] Gary is rough.[(((triple3) -> rule3))] Harry is rough.[(((triple4) -> rule5))] @2: Gary is smart.[(((((triple3) -> rule3)) -> rule4))] Harry is smart.[(((((triple4) -> rule5)) -> rule4))] @3: Gary is quiet.[(((((((triple3) -> rule3)) -> rule4)) -> rule1))] Harry is quiet.[(((((((triple4) -> rule5)) -> rule4)) -> rule1))]