Bob is not green. Bob is white. Bob is young. Erin is blue. Erin is cold. Erin is not green. Erin is smart. Erin is white. Erin is young. Fiona is green. Fiona is round. Fiona is not smart. Fiona is white. Fiona is young. Harry is smart. If Erin is white and Erin is young then Erin is cold. If Harry is young and Harry is not blue then Harry is not smart. All white, smart people are cold.
Erin is white.
@0: Bob is not green.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5 OR ((triple8 triple7) -> rule3) OR ((triple8 triple9) -> rule1))] Erin is not green.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is green.[(triple10)] Fiona is not smart.[(triple12)] Fiona is round.[(triple11)] Fiona is white.[(triple13)] Fiona is young.[(triple14)] Harry is smart.[(triple15)]