Bob is smart. Fiona is round. Gary is big. If something is rough and not smart then it is big. If Fiona is not green then Fiona is cold.
Bob is smart.
@0: Bob is smart.[(triple1)] Fiona is round.[(triple2)] Gary is big.[(triple3)]