Gary is furry. Harry is furry. If someone is quiet and rough then they are cold. Quiet, round people are cold. All furry people are cold. If someone is round and blue then they are cold. Furry, cold people are round. If someone is quiet then they are round. Round people are blue. Blue people are white.
Harry is quiet.
@0: Gary is furry.[(triple1)] Harry is furry.[(triple2)] @1: Gary is cold.[(((triple1) -> rule3))] Harry is cold.[(((triple2) -> rule3))] @2: Gary is round.[(((triple1 ((triple1) -> rule3)) -> rule5))] Harry is round.[(((triple2 ((triple2) -> rule3)) -> rule5))] @3: Gary is blue.[(((((triple1 ((triple1) -> rule3)) -> rule5)) -> rule7))] Harry is blue.[(((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule7))] @4: Gary is white.[(((((((triple1 ((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule8))] Harry is white.[(((((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule7)) -> rule8))]