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