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