Bob is big. Bob is cold. Dave is rough. Fiona is not smart. Harry is not furry. Harry is not quiet. Harry is rough. If Bob is red and Bob is rough then Bob is big. If something is furry then it is not big. If Bob is red then Bob is furry. If something is furry and not quiet then it is rough. If Fiona is furry then Fiona is red. If something is furry and not rough then it is smart.
Fiona is quiet.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Dave is rough.[(triple3)] Fiona is not smart.[(triple4)] Harry is not furry.[(triple5)] Harry is not quiet.[(triple6)] Harry is rough.[(triple7)]