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