Bob is rough. Bob is round. Bob is smart. Fiona is blue. Fiona is smart. Fiona is young. Harry is young. All nice people are blue. Nice people are smart. Smart people are round. All rough, blue people are nice. If someone is furry then they are round. Smart, nice people are blue.
Fiona is not rough.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2 OR ((triple3) -> rule3))] Bob is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Harry is young.[(triple7)] @1: Fiona is round.[(((triple5) -> rule3))]