Anne is nice. Anne is quiet. Dave is young. Erin is cold. Fiona is blue. Fiona is not nice. Fiona is white. Young, blue people are not nice. If Dave is white then Dave is young. Cold people are blue. All cold people are blue. All blue people are young. Quiet, nice people are young. All white people are quiet. If Fiona is nice then Fiona is blue.
Fiona is quiet.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Dave is young.[(triple3)] Erin is cold.[(triple4)] Fiona is blue.[(triple5)] Fiona is not nice.[(triple6 OR ((((triple5) -> rule5) triple5) -> rule1))] Fiona is white.[(triple7)] @1: Anne is young.[(((triple2 triple1) -> rule6))] Erin is blue.[(((triple4) -> rule3) OR ((triple4) -> rule4))] Fiona is quiet.[(((triple7) -> rule7))] Fiona is young.[(((triple5) -> rule5))] @2: Erin is young.[(((((triple4) -> rule3)) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] @3: Erin is not nice.[(((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule1) OR ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule1))]