Dave is blue. Dave is cold. Dave is furry. Dave is nice. Erin is not furry. Erin is not green. Erin is nice. Erin is not quiet. Gary is green. Gary is not round. Harry is furry. Harry is round. If someone is quiet and not round then they are blue. Quiet people are blue. If Erin is blue and Erin is round then Erin is cold. Round, cold people are furry. All furry people are cold. If Harry is cold then Harry is quiet.
Dave is round.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule5))] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Erin is nice.[(triple7)] Erin is not furry.[(triple5)] Erin is not green.[(triple6)] Erin is not quiet.[(triple8)] Gary is green.[(triple9)] Gary is not round.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)] @1: Harry is cold.[(((triple11) -> rule5))] @2: Harry is quiet.[(((((triple11) -> rule5)) -> rule6))] @3: Harry is blue.[(((((((triple11) -> rule5)) -> rule6)) -> rule2))]