Bob is furry. Dave is not green. Dave is round. Fiona is nice. Fiona is round. Gary is nice. Gary is rough. If something is big and furry then it is round. If something is big and cold then it is green. If something is cold then it is big.
Bob is cold.
@0: Bob is furry.[(triple1)] Dave is not green.[(triple2)] Dave is round.[(triple3)] Fiona is nice.[(triple4)] Fiona is round.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)]