Charlie is not kind. Erin is quiet. Gary is furry. Harry is cold. Quiet things are furry. If something is furry then it is kind. Kind things are rough. If Charlie is red then Charlie is not rough. All furry things are quiet. All furry, rough things are cold.
Harry is furry.
@0: Charlie is not kind.[(triple1)] Erin is quiet.[(triple2)] Gary is furry.[(triple3)] Harry is cold.[(triple4)] @1: Erin is furry.[(((triple2) -> rule1))] Gary is kind.[(((triple3) -> rule2))] Gary is quiet.[(((triple3) -> rule5))] @2: Erin is kind.[(((((triple2) -> rule1)) -> rule2))] Gary is rough.[(((((triple3) -> rule2)) -> rule3))] @3: Erin is rough.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))] Gary is cold.[(((triple3 ((((triple3) -> rule2)) -> rule3)) -> rule6))] @4: Erin is cold.[(((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule2)) -> rule3)) -> rule6))]