Erin is cold. Erin is rough. Erin is white. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Harry is not cold. Harry is furry. Harry is green. Harry is rough. Harry is round. Harry is white. If Fiona is green and Fiona is not cold then Fiona is round. If someone is green then they are white. If someone is young and white then they are rough. All green people are rough. If someone is green and not rough then they are furry. If someone is young and not rough then they are not furry.
Harry is not white.
@0: Erin is cold.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is rough.[(triple7 OR ((triple6) -> rule4) OR ((triple10 triple9) -> rule3) OR ((triple10 ((triple6) -> rule2)) -> rule3))] Fiona is round.[(triple8)] Fiona is white.[(triple9 OR ((triple6) -> rule2))] Fiona is young.[(triple10)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is not cold.[(triple11)] Harry is rough.[(triple14 OR ((triple13) -> rule4))] Harry is round.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule2))]