Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is white. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is white. If something is furry and kind then it is cold. All furry, round things are cold.
Harry is not white.
@0: Bob is cold.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple2 triple6) -> rule2))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] Harry is cold.[(triple8 OR ((triple9 triple11) -> rule1) OR ((triple9 triple13) -> rule2))] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14)]