Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is white. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Bob is white. Round things are kind.
Bob is not white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple6) -> rule1))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is kind.[(triple10 OR ((triple13) -> rule1))] Bob is quiet.[(triple11)] Bob is rough.[(triple12)] Bob is round.[(triple13)] Bob is white.[(triple14)]