Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Fiona is quiet. Fiona is rough. Round, blue things are white. If Fiona is quiet and Fiona is blue then Fiona is round. If something is quiet then it is blue.
Fiona is not green.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5 OR ((triple4 ((triple3) -> rule3)) -> rule1))] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] @1: Charlie is blue.[(((triple3) -> rule3))] Fiona is blue.[(((triple6) -> rule3))] @2: Fiona is round.[(((triple6 ((triple6) -> rule3)) -> rule2))] @3: Fiona is white.[(((((triple6 ((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule1))]