Charlie is not blue. Charlie is kind. Charlie is not quiet. Charlie is not round. Dave is blue. Dave is not nice. Dave is young. Fiona is nice. Fiona is round. Fiona is young. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is young. Young, kind people are red. All blue, kind people are young. Young people are round.
Charlie is red.
@0: Charlie is kind.[(triple2)] Charlie is not blue.[(triple1)] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple4)] Dave is blue.[(triple5)] Dave is not nice.[(triple6)] Dave is young.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9 OR ((triple10) -> rule3))] Fiona is young.[(triple10)] Harry is blue.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15 OR ((triple16) -> rule3) OR ((((triple11 triple12) -> rule2)) -> rule3))] Harry is young.[(triple16 OR ((triple11 triple12) -> rule2))] @1: Dave is round.[(((triple7) -> rule3))] Harry is red.[(((triple16 triple12) -> rule1) OR ((((triple11 triple12) -> rule2) triple12) -> rule1))]