Charlie is nice. Erin is round. Fiona is quiet. Quiet things are blue. Young, red things are round. If something is nice then it is red. If Fiona is blue then Fiona is nice. If Erin is nice and Erin is red then Erin is blue. Quiet things are blue.
Fiona is not red.
@0: Charlie is nice.[(triple1)] Erin is round.[(triple2)] Fiona is quiet.[(triple3)] @1: Charlie is red.[(((triple1) -> rule3))] Fiona is blue.[(((triple3) -> rule1) OR ((triple3) -> rule6))] @2: Fiona is nice.[(((((triple3) -> rule1)) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] @3: Fiona is red.[(((((((triple3) -> rule1)) -> rule4)) -> rule3) OR ((((((triple3) -> rule6)) -> rule4)) -> rule3))]