Charlie is not cold. Charlie is furry. Charlie is not red. Dave is cold. Dave is furry. Dave is nice. Dave is not quiet. Gary is cold. Gary is nice. Gary is quiet. Harry is green. Harry is red. Cold things are not red. All red things are quiet. If Dave is quiet then Dave is nice. Green things are nice. If something is nice and not red then it is not young. If something is nice and not red then it is not green. If something is nice and not green then it is furry. All red, quiet things are furry.
Harry is not quiet.
@0: Charlie is furry.[(triple2)] Charlie is not cold.[(triple1)] Charlie is not red.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5 OR ((triple6 ((triple6 ((triple4) -> rule1)) -> rule6)) -> rule7))] Dave is nice.[(triple6)] Dave is not quiet.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)] @1: Dave is not red.[(((triple4) -> rule1))] Gary is not red.[(((triple8) -> rule1))] Harry is nice.[(((triple11) -> rule4))] Harry is quiet.[(((triple12) -> rule2))] @2: Dave is not green.[(((triple6 ((triple4) -> rule1)) -> rule6))] Dave is not young.[(((triple6 ((triple4) -> rule1)) -> rule5))] Gary is not green.[(((triple9 ((triple8) -> rule1)) -> rule6))] Gary is not young.[(((triple9 ((triple8) -> rule1)) -> rule5))] Harry is furry.[(((triple12 ((triple12) -> rule2)) -> rule8))] @3: Gary is furry.[(((triple9 ((triple9 ((triple8) -> rule1)) -> rule6)) -> rule7))]