Dave is big. Dave is cold. Dave is rough. Dave is white. Fiona is furry. Fiona is kind. Fiona is round. Fiona is white. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is white. If Harry is cold and Harry is rough then Harry is big. Kind people are white. All kind, cold people are furry.
Dave is not white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8 OR ((triple6) -> rule2))] Harry is big.[(triple9 OR ((triple10 triple13) -> rule1))] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple12 triple10) -> rule3))] Harry is kind.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15 OR ((triple12) -> rule2))]