Bob is cold. Bob is red. Bob is smart. Bob is white. Fiona is cold. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. Gary is cold. Gary is green. Gary is red. Gary is young. Harry is cold. Harry is white. If Gary is green and Gary is young then Gary is red. If someone is green and smart then they are red.
Harry is kind.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8 OR ((triple6 triple9) -> rule2))] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] Gary is red.[(triple13 OR ((triple12 triple14) -> rule1))] Gary is young.[(triple14)] Harry is cold.[(triple15)] Harry is white.[(triple16)]