Charlie is not round. Erin is red. Fiona is round. Harry is red. If Charlie is nice and Charlie is smart then Charlie is red. Round things are quiet. All green, smart things are nice. Furry, smart things are nice. If something is furry and not green then it is not nice. If something is quiet then it is round.
Charlie is not red.
@0: Charlie is not round.[(triple1)] Erin is red.[(triple2)] Fiona is round.[(triple3)] Harry is red.[(triple4)] @1: Fiona is quiet.[(((triple3) -> rule2))]