Bob is cold. Bob is nice. Bob is round. Bob is smart. Charlie is nice. Charlie is white. Fiona is cold. Fiona is nice. Fiona is white. Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is smart. Harry is white. Green, nice things are white. If Harry is cold then Harry is nice. All cold things are white.
Charlie is white.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Charlie is nice.[(triple5)] Charlie is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is white.[(triple9 OR ((triple7) -> rule3))] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13 OR ((triple11) -> rule2))] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple11) -> rule3) OR ((triple12 triple13) -> rule1) OR ((triple12 ((triple11) -> rule2)) -> rule1))] @1: Bob is white.[(((triple1) -> rule3))]