Bob is quiet. Bob is rough. Bob is white. Harry is cold. Harry is kind. Harry is quiet. Harry is round. If something is kind then it is rough. All round, red things are kind. If something is white then it is quiet. If Harry is quiet then Harry is white. If Bob is not round then Bob is kind. If Harry is rough and Harry is not white then Harry is cold. Red, kind things are not cold. If something is rough and not white then it is cold.
Bob is not cold.
@0: Bob is quiet.[(triple1 OR ((triple3) -> rule3))] Bob is rough.[(triple2)] Bob is white.[(triple3)] Harry is cold.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is rough.[(((triple5) -> rule1))] Harry is white.[(((triple6) -> rule4))]