Charlie is furry. Erin is green. Gary is white. Harry is furry. Big, round people are kind. If someone is kind then they are white. If someone is green and kind then they are big. If someone is furry then they are round. Round people are kind. Round, big people are green.
Harry is kind.
@0: Charlie is furry.[(triple1)] Erin is green.[(triple2)] Gary is white.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is round.[(((triple1) -> rule4))] Harry is round.[(((triple4) -> rule4))] @2: Charlie is kind.[(((((triple1) -> rule4)) -> rule5))] Harry is kind.[(((((triple4) -> rule4)) -> rule5))] @3: Charlie is white.[(((((((triple1) -> rule4)) -> rule5)) -> rule2))] Harry is white.[(((((((triple4) -> rule4)) -> rule5)) -> rule2))]