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