Anne is big. Anne is cold. Anne is nice. Anne is red. Anne is rough. Fiona is big. Fiona is nice. Fiona is smart. Gary is cold. Gary is red. Gary is rough. Gary is smart. Harry is big. Harry is red. Harry is rough. Smart, furry people are big. If someone is red and not furry then they are big. Furry, red people are big. All furry, nice people are rough. If Anne is rough and Anne is big then Anne is cold. Rough, nice people are smart. Nice people are smart. If someone is nice and not big then they are not cold.
Fiona is not smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple1) -> rule5))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule7))] Gary is cold.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Harry is big.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Anne is smart.[(((triple3) -> rule7) OR ((triple5 triple3) -> rule6))]