Bob is blue. Bob is furry. Bob is not quiet. Bob is rough. Bob is round. Bob is smart. Dave is blue. Dave is furry. Dave is not green. Dave is rough. Dave is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. All blue, quiet people are round. Round people are blue. If someone is smart and not rough then they are quiet.
Dave is not rough.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule2))] Bob is furry.[(triple2)] Bob is not quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple8)] Dave is not green.[(triple9)] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Fiona is blue.[(triple12 OR ((triple15) -> rule2))] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)]