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