Bob is blue. Bob is white. Fiona is blue. Fiona is cold. Fiona is white. Harry is blue. Harry is cold. Harry is red. Harry is smart. Harry is white. If Harry is round and Harry is red then Harry is cold. If something is white then it is blue.
Bob is red.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2))] Bob is white.[(triple2)] Fiona is blue.[(triple3 OR ((triple5) -> rule2))] Fiona is cold.[(triple4)] Fiona is white.[(triple5)] Harry is blue.[(triple6 OR ((triple10) -> rule2))] Harry is cold.[(triple7)] Harry is red.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)]