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