Anne is not blue. Dave is not kind. Dave is quiet. Erin is round. Fiona is cold. Fiona is quiet. Fiona is rough. If something is cold then it is kind. All young things are kind. All young, blue things are round. If something is kind then it is blue. Kind things are blue. All round things are cold. If Erin is blue then Erin is quiet. If something is young and not blue then it is not rough. Quiet things are rough.
Erin is blue.
@0: Anne is not blue.[(triple1)] Dave is not kind.[(triple2)] Dave is quiet.[(triple3)] Erin is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7 OR ((triple6) -> rule9))] @1: Dave is rough.[(((triple3) -> rule9))] Erin is cold.[(((triple4) -> rule6))] Fiona is kind.[(((triple5) -> rule1))] @2: Erin is kind.[(((((triple4) -> rule6)) -> rule1))] Fiona is blue.[(((((triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule1)) -> rule5))] @3: Erin is blue.[(((((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((((((triple4) -> rule6)) -> rule1)) -> rule5))] @4: Erin is quiet.[(((((((((triple4) -> rule6)) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule1)) -> rule5)) -> rule7))] @5: Erin is rough.[(((((((((((triple4) -> rule6)) -> rule1)) -> rule4)) -> rule7)) -> rule9) OR ((((((((((triple4) -> rule6)) -> rule1)) -> rule5)) -> rule7)) -> rule9))]