Bob is not big. Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is not rough. Fiona is smart. All big people are not rough. All rough people are furry. If Charlie is not furry then Charlie is kind.
Charlie is furry.
@0: Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not big.[(triple1)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7 OR ((triple9) -> rule2))] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple13)] Fiona is not furry.[(triple12)] Fiona is not rough.[(triple14)] Fiona is smart.[(triple15)]