Bob is quiet. Bob is not red. Bob is white. Erin is not green. Fiona is blue. Fiona is not green. Harry is red. If something is quiet then it is round.
Fiona is not round.
@0: Bob is not red.[(triple2)] Bob is quiet.[(triple1)] Bob is white.[(triple3)] Erin is not green.[(triple4)] Fiona is blue.[(triple5)] Fiona is not green.[(triple6)] Harry is red.[(triple7)] @1: Bob is round.[(((triple1) -> rule1))]