Dave is cold. Dave is round. Erin is furry. Gary is furry. Gary is green. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is red. All quiet things are round. All furry, cold things are green. All green things are nice.
Dave is red.
@0: Dave is cold.[(triple1)] Dave is round.[(triple2)] Erin is furry.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Harry is furry.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple8 OR ((triple7) -> rule3))] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Gary is nice.[(((triple5) -> rule3))] Harry is round.[(((triple9) -> rule1))]