Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is white. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is white. Rough, furry people are big.
Harry is not furry.
@0: Dave is big.[(triple1 OR ((triple6 triple3) -> rule1))] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7)] Harry is big.[(triple8 OR ((triple13 triple10) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)]