Charlie is nice. Charlie is smart. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Fiona is rough. Fiona is smart. Gary is cold. Gary is furry. If something is smart and quiet then it is cold.
Fiona is not rough.
@0: Charlie is nice.[(triple1)] Charlie is smart.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10)]