Charlie is nice. Charlie is quiet. Charlie is white. Charlie is young. Dave is not furry. Gary is quiet. Harry is furry. If something is nice and cold then it is quiet. If something is cold then it is young. Quiet, furry things are white. All furry things are cold. If something is young then it is nice.
Gary is not white.
@0: Charlie is nice.[(triple1 OR ((triple4) -> rule5))] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Dave is not furry.[(triple5)] Gary is quiet.[(triple6)] Harry is furry.[(triple7)] @1: Harry is cold.[(((triple7) -> rule4))] @2: Harry is young.[(((((triple7) -> rule4)) -> rule2))] @3: Harry is nice.[(((((((triple7) -> rule4)) -> rule2)) -> rule5))] @4: Harry is quiet.[(((((((((triple7) -> rule4)) -> rule2)) -> rule5) ((triple7) -> rule4)) -> rule1))] @5: Harry is white.[(((((((((((triple7) -> rule4)) -> rule2)) -> rule5) ((triple7) -> rule4)) -> rule1) triple7) -> rule3))]