Bob is red. Bob is round. Bob is white. Fiona is round. Fiona is smart. Fiona is white. Gary is red. Green people are smart. If Fiona is round and Fiona is red then Fiona is blue.
Bob is not smart.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Gary is red.[(triple7)]