Bob is furry. Charlie is cold. Erin is red. Erin is young. Harry is quiet. Harry is round. Harry is white. Furry things are white. White, young things are quiet. Quiet, cold things are red.
Harry is not red.
@0: Bob is furry.[(triple1)] Charlie is cold.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4)] Harry is quiet.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Bob is white.[(((triple1) -> rule1))]