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