Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is smart. Anne is white. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is smart. Bob is white. All smart people are nice.
Bob is white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple6) -> rule1))] Anne is smart.[(triple6)] Anne is white.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is green.[(triple10)] Bob is kind.[(triple11)] Bob is nice.[(triple12 OR ((triple13) -> rule1))] Bob is smart.[(triple13)] Bob is white.[(triple14)]