Charlie is not red. Erin is big. Erin is not red. Erin is not white. Fiona is nice. Harry is not cold. Harry is white. Cold people are not big. If Erin is big then Erin is not green. Nice people are quiet. If someone is green and quiet then they are white. All white people are not cold. If Erin is nice then Erin is white. All quiet people are green. If someone is quiet and not cold then they are red.
Fiona is not nice.
@0: Charlie is not red.[(triple1)] Erin is big.[(triple2)] Erin is not red.[(triple3)] Erin is not white.[(triple4)] Fiona is nice.[(triple5)] Harry is not cold.[(triple6 OR ((triple7) -> rule5))] Harry is white.[(triple7)] @1: Erin is not green.[(((triple2) -> rule2))] Fiona is quiet.[(((triple5) -> rule3))] @2: Fiona is green.[(((((triple5) -> rule3)) -> rule7))] @3: Fiona is white.[(((((((triple5) -> rule3)) -> rule7) ((triple5) -> rule3)) -> rule4))] @4: Fiona is not cold.[(((((((((triple5) -> rule3)) -> rule7) ((triple5) -> rule3)) -> rule4)) -> rule5))] @5: Fiona is red.[(((((triple5) -> rule3) ((((((((triple5) -> rule3)) -> rule7) ((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule8))]