Charlie is furry. Erin is quiet. Harry is round. If someone is kind and not furry then they are quiet. If someone is round then they are white. All blue people are kind. All blue, big people are round. White people are round. All kind people are blue. If Erin is quiet then Erin is round. If Harry is white and Harry is furry then Harry is not round.
Harry is round.
@0: Charlie is furry.[(triple1)] Erin is quiet.[(triple2)] Harry is round.[(triple3)] @1: Erin is round.[(((triple2) -> rule7))] Harry is white.[(((triple3) -> rule2))] @2: Erin is white.[(((((triple2) -> rule7)) -> rule2))]