Bob is blue. Bob is white. Bob is young. Erin is round. Erin is white. Fiona is blue. Fiona is kind. Harry is cold. Harry is green. Harry is kind. Harry is white. Harry is young. If Fiona is young and Fiona is blue then Fiona is white.
Harry is not young.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)]