Dave is blue. Fiona is round. Harry is kind. If Harry is big and Harry is not blue then Harry is not young. If Dave is blue then Dave is rough. All big, young people are kind. Big people are round. All red, rough people are not round. Young, red people are big. Blue people are rough. All big, red people are rough.
Harry is not round.
@0: Dave is blue.[(triple1)] Fiona is round.[(triple2)] Harry is kind.[(triple3)] @1: Dave is rough.[(((triple1) -> rule2) OR ((triple1) -> rule7))]