Bob is quiet. Bob is rough. Bob is round. Bob is smart. Dave is blue. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is smart. Fiona is red. Fiona is round. Harry is blue. Harry is red. Harry is round. Harry is smart. Blue, round people are rough. If someone is red and quiet then they are blue. Smart people are rough.
Fiona is smart.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2 OR ((triple4) -> rule3))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is red.[(triple7)] Dave is rough.[(triple8 OR ((triple10) -> rule3) OR ((triple5 triple9) -> rule1))] Dave is round.[(triple9)] Dave is smart.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Harry is rough.[(((triple16) -> rule3) OR ((triple13 triple15) -> rule1))]