Anne is cold. Anne is furry. Anne is red. Dave is young. Gary is nice. Gary is young. Harry is not blue. All nice people are red. All furry people are blue. All furry, red people are quiet. Blue people are cold. Young people are cold. Cold people are furry. If Dave is blue then Dave is red. If Gary is furry then Gary is nice.
Dave is quiet.
@0: Anne is cold.[(triple1 OR ((((triple2) -> rule2)) -> rule4))] Anne is furry.[(triple2 OR ((triple1) -> rule6))] Anne is red.[(triple3)] Dave is young.[(triple4)] Gary is nice.[(triple5 OR ((((((triple6) -> rule5)) -> rule6)) -> rule8))] Gary is young.[(triple6)] Harry is not blue.[(triple7)] @1: Anne is blue.[(((triple2) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Anne is quiet.[(((triple2 triple3) -> rule3) OR ((((triple1) -> rule6) triple3) -> rule3))] Dave is cold.[(((triple4) -> rule5))] Gary is cold.[(((triple6) -> rule5))] Gary is red.[(((triple5) -> rule1) OR ((((((((triple6) -> rule5)) -> rule6)) -> rule8)) -> rule1))] @2: Dave is furry.[(((((triple4) -> rule5)) -> rule6))] Gary is furry.[(((((triple6) -> rule5)) -> rule6))] @3: Dave is blue.[(((((((triple4) -> rule5)) -> rule6)) -> rule2))] Gary is blue.[(((((((triple6) -> rule5)) -> rule6)) -> rule2))] Gary is quiet.[(((((((triple6) -> rule5)) -> rule6) ((triple5) -> rule1)) -> rule3) OR ((((((triple6) -> rule5)) -> rule6) ((((((((triple6) -> rule5)) -> rule6)) -> rule8)) -> rule1)) -> rule3))] @4: Dave is red.[(((((((((triple4) -> rule5)) -> rule6)) -> rule2)) -> rule7))] @5: Dave is quiet.[(((((((triple4) -> rule5)) -> rule6) ((((((((triple4) -> rule5)) -> rule6)) -> rule2)) -> rule7)) -> rule3))]