Dave is not green. Dave is not kind. Dave is nice. Dave is not quiet. Fiona is furry. Fiona is kind. Fiona is not quiet. Harry is furry. Harry is green. Harry is kind. Harry is not nice. Harry is red. If someone is young and quiet then they are green. All kind, green people are young. Green people are young. If Dave is furry then Dave is kind. Red, quiet people are not nice. If someone is red and not kind then they are nice. All furry people are red. If someone is furry and nice then they are not red.
Harry is quiet.
@0: Dave is nice.[(triple3)] Dave is not green.[(triple1)] Dave is not kind.[(triple2)] Dave is not quiet.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is not quiet.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not nice.[(triple11)] Harry is red.[(triple12 OR ((triple8) -> rule7))] @1: Fiona is red.[(((triple5) -> rule7))] Harry is young.[(((triple9) -> rule3) OR ((triple10 triple9) -> rule2))]