Bob is nice. Charlie is furry. Erin is nice. Harry is quiet. Quiet people are not round. If Erin is nice then Erin is not kind.
Harry is round.
@0: Bob is nice.[(triple1)] Charlie is furry.[(triple2)] Erin is nice.[(triple3)] Harry is quiet.[(triple4)] @1: Erin is not kind.[(((triple3) -> rule2))] Harry is not round.[(((triple4) -> rule1))]