Bob is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Harry is red. Harry is round. If Bob is green then Bob is round. If someone is quiet then they are green. Red people are white. White people are quiet. If someone is red then they are blue. If Harry is green then Harry is blue.
Fiona is not green.
@0: Bob is blue.[(triple1)] Fiona is green.[(triple2 OR ((((((triple4) -> rule3)) -> rule4)) -> rule2))] Fiona is kind.[(triple3)] Fiona is red.[(triple4)] Fiona is round.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Fiona is blue.[(((triple4) -> rule5))] Fiona is white.[(((triple4) -> rule3))] Harry is blue.[(((triple6) -> rule5) OR ((((((((triple6) -> rule3)) -> rule4)) -> rule2)) -> rule6))] Harry is white.[(((triple6) -> rule3))] @2: Fiona is quiet.[(((((triple4) -> rule3)) -> rule4))] Harry is quiet.[(((((triple6) -> rule3)) -> rule4))] @3: Harry is green.[(((((((triple6) -> rule3)) -> rule4)) -> rule2))]