Charlie is rough. Erin is cold. Erin is furry. Erin is quiet. Erin is white. Harry is quiet. Harry is rough. If something is cold then it is furry. If Harry is cold and Harry is nice then Harry is quiet. Cold, white things are blue. If something is nice then it is blue. All quiet things are furry. If Erin is furry and Erin is nice then Erin is cold. All nice things are rough. White things are furry.
Erin is not quiet.
@0: Charlie is rough.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2) -> rule1) OR ((triple4) -> rule5) OR ((triple5) -> rule8))] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Erin is blue.[(((triple2 triple5) -> rule3))] Harry is furry.[(((triple6) -> rule5))]