Bob is not furry. Bob is round. Bob is smart. Fiona is kind. Fiona is red. Fiona is round. Gary is cold. Gary is not furry. Gary is smart. Harry is cold. Harry is not furry. Harry is green. Harry is not red. Harry is round. Harry is smart. All cold, furry people are not kind. If someone is red then they are round. If Gary is not smart and Gary is not red then Gary is green.
Bob is kind.
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule2))] Gary is cold.[(triple7)] Gary is not furry.[(triple8)] Gary is smart.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple12)] Harry is not furry.[(triple11)] Harry is not red.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)]