Charlie is not blue. Charlie is cold. Charlie is green. Charlie is not quiet. Dave is green. Dave is kind. Dave is quiet. Dave is young. Fiona is blue. Fiona is green. Fiona is quiet. Harry is blue. Harry is not cold. Harry is green. Harry is round. Harry is young. If Charlie is quiet then Charlie is round. If Dave is young and Dave is not cold then Dave is round. All quiet people are blue. Green, quiet people are blue. All blue, cold people are young. All round, blue people are kind. If someone is blue and not young then they are kind. If someone is young and not green then they are kind.
Fiona is cold.
@0: Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is not blue.[(triple1)] Charlie is not quiet.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Dave is young.[(triple8)] Fiona is blue.[(triple9 OR ((triple11) -> rule3) OR ((triple10 triple11) -> rule4))] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple14)] Harry is not cold.[(triple13)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Dave is blue.[(((triple7) -> rule3) OR ((triple5 triple7) -> rule4))] Harry is kind.[(((triple15 triple12) -> rule6))]