Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is white. Quiet people are furry. If Bob is white then Bob is cold. If someone is round and rough then they are white. If someone is quiet then they are white. Round people are kind. Quiet, round people are rough.
Harry is not quiet.
@0: Bob is cold.[(triple1 OR ((triple5) -> rule2) OR ((((triple3) -> rule4)) -> rule2))] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5 OR ((triple3) -> rule4))] Harry is cold.[(triple6)] Harry is furry.[(triple7 OR ((triple9) -> rule1))] Harry is kind.[(triple8 OR ((triple11) -> rule5))] Harry is quiet.[(triple9)] Harry is rough.[(triple10 OR ((triple9 triple11) -> rule6))] Harry is round.[(triple11)] Harry is white.[(triple12 OR ((triple9) -> rule4) OR ((triple11 triple10) -> rule3) OR ((triple11 ((triple9 triple11) -> rule6)) -> rule3))] @1: Bob is furry.[(((triple3) -> rule1))]