Bob is cold. Bob is rough. Fiona is green. Gary is green. Gary is rough. Gary is smart. Harry is red. If Harry is smart and Harry is rough then Harry is big. If Bob is smart then Bob is big. If Gary is cold then Gary is smart.
Fiona is big.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Fiona is green.[(triple3)] Gary is green.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Harry is red.[(triple7)]