Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is smart. Bob is cold. Bob is red. Bob is rough. Bob is smart. Bob is young. Gary is cold. All furry people are round. All cold, furry people are smart. Cold people are red.
Gary is not smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule3))] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple2) -> rule1))] Anne is smart.[(triple6 OR ((triple1 triple2) -> rule2))] Bob is cold.[(triple7)] Bob is red.[(triple8 OR ((triple7) -> rule3))] Bob is rough.[(triple9)] Bob is smart.[(triple10)] Bob is young.[(triple11)] Gary is cold.[(triple12)] @1: Gary is red.[(((triple12) -> rule3))]