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.
Erin is green.
@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))]