Anne is smart. Bob is smart. Fiona is blue. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Harry is blue. Harry is smart. All cold things are white. If Bob is red and Bob is kind then Bob is white.
Anne is red.
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Harry is blue.[(triple9)] Harry is smart.[(triple10)]