Anne is round. Bob is cold. Dave is big. Fiona is round. If Fiona is white and Fiona is rough then Fiona is big. If Anne is rough then Anne is round.
Fiona is not big.
@0: Anne is round.[(triple1)] Bob is cold.[(triple2)] Dave is big.[(triple3)] Fiona is round.[(triple4)]