Bob is cold. Bob is kind. Bob is red. Bob is rough. Bob is white. Bob is young. Fiona is blue. Fiona is rough. Fiona is white. Harry is blue. Harry is cold. Harry is kind. Harry is red. Harry is rough. Harry is white. Harry is young. Kind things are blue. If Harry is cold then Harry is white. All red things are rough.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule3))] Bob is white.[(triple5)] Bob is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9)] Harry is blue.[(triple10 OR ((triple12) -> rule1))] Harry is cold.[(triple11)] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14 OR ((triple13) -> rule3))] Harry is white.[(triple15 OR ((triple11) -> rule2))] Harry is young.[(triple16)] @1: Bob is blue.[(((triple2) -> rule1))]