Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Harry is furry. Harry is green. Harry is round. Harry is smart. Harry is white. Harry is young. All rough, green people are white. All green people are smart.
Harry is not furry.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is rough.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5 OR ((triple2) -> rule2))] Fiona is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((triple8) -> rule2))] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Fiona is white.[(((triple3 triple2) -> rule1))]