Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is young. Erin is blue. Erin is quiet. Erin is white. Erin is young. Fiona is kind. Fiona is quiet. Harry is blue. Harry is kind. Harry is white. Harry is young. If someone is quiet and round then they are green. White, young people are quiet. If Harry is quiet then Harry is round.
Fiona is not blue.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is quiet.[(triple7 OR ((triple8 triple9) -> rule2))] Erin is white.[(triple8)] Erin is young.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Harry is quiet.[(((triple14 triple15) -> rule2))] @2: Harry is round.[(((((triple14 triple15) -> rule2)) -> rule3))] @3: Harry is green.[(((((triple14 triple15) -> rule2) ((((triple14 triple15) -> rule2)) -> rule3)) -> rule1))]