Bob is big. Bob is furry. Bob is green. Bob is rough. Bob is smart. Fiona is cold. Fiona is kind. Fiona is not rough. Fiona is smart. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is not smart. If Bob is kind and Bob is not big then Bob is furry. If someone is smart and not kind then they are furry.
Fiona is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Fiona is not rough.[(triple8)] Fiona is smart.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is not smart.[(triple15)] Harry is rough.[(triple14)]