Dave is nice. Dave is quiet. Dave is red. Gary is furry. Gary is nice. Harry is red. Harry is young. If Dave is not red then Dave is green. If something is young and not nice then it is quiet. If something is green and young then it is quiet. If something is nice then it is green. If something is nice and green then it is young. If Harry is green then Harry is not furry.
Harry is green.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2 OR ((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3))] Dave is red.[(triple3)] Gary is furry.[(triple4)] Gary is nice.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)] @1: Dave is green.[(((triple1) -> rule4))] Gary is green.[(((triple5) -> rule4))] @2: Dave is young.[(((triple1 ((triple1) -> rule4)) -> rule5))] Gary is young.[(((triple5 ((triple5) -> rule4)) -> rule5))] @3: Gary is quiet.[(((((triple5) -> rule4) ((triple5 ((triple5) -> rule4)) -> rule5)) -> rule3))]