Anne is cold. Anne is rough. Anne is young. Erin is quiet. Erin is not rough. Erin is young. Fiona is cold. Fiona is quiet. Fiona is white. Harry is quiet. Harry is round. Harry is white. If Fiona is not rough then Fiona is quiet. If Fiona is kind then Fiona is not quiet. All kind people are quiet. If Erin is round then Erin is young. If someone is rough then they are kind. All quiet people are white. All kind people are not round. If Fiona is rough and Fiona is not quiet then Fiona is white.
Erin is not kind.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Erin is not rough.[(triple5)] Erin is quiet.[(triple4)] Erin is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9 OR ((triple8) -> rule6))] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule6))] @1: Anne is kind.[(((triple2) -> rule5))] Erin is white.[(((triple4) -> rule6))] @2: Anne is not round.[(((((triple2) -> rule5)) -> rule7))] Anne is quiet.[(((((triple2) -> rule5)) -> rule3))] @3: Anne is white.[(((((((triple2) -> rule5)) -> rule3)) -> rule6))]