Erin is cold. Erin is rough. Erin is white. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Harry is furry. Harry is green. White, green things are rough. All green, rough things are furry. All rough things are cold.
Harry is not rough.
@0: Erin is cold.[(triple1 OR ((triple2) -> rule3))] Erin is rough.[(triple2)] Erin is white.[(triple3)] Fiona is cold.[(triple4 OR ((triple7) -> rule3))] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10)]