Anne is quiet. Erin is cold. Erin is kind. Erin is not rough. Fiona is not quiet. Harry is big. Harry is kind. If Fiona is red and Fiona is not cold then Fiona is not big. If Harry is rough then Harry is kind. Rough people are quiet. If someone is white then they are quiet. If someone is kind then they are not quiet. If someone is cold and not white then they are big. If Harry is not rough then Harry is cold. Big people are red.
Fiona is rough.
@0: Anne is quiet.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is not rough.[(triple4)] Fiona is not quiet.[(triple5)] Harry is big.[(triple6)] Harry is kind.[(triple7)] @1: Erin is not quiet.[(((triple3) -> rule5))] Harry is not quiet.[(((triple7) -> rule5))] Harry is red.[(((triple6) -> rule8))]