Dave is kind. Fiona is not blue. Fiona is kind. Fiona is red. Fiona is smart. Gary is furry. Gary is green. Harry is blue. Harry is kind. Harry is smart. If Fiona is red and Fiona is not furry then Fiona is kind. All blue things are red. Red things are quiet. If Gary is furry and Gary is not blue then Gary is not red. If Gary is quiet and Gary is blue then Gary is red. If something is green then it is not smart. If something is furry and not quiet then it is kind. If something is furry and kind then it is green.
Harry is not blue.
@0: Dave is kind.[(triple1)] Fiona is kind.[(triple3)] Fiona is not blue.[(triple2)] Fiona is red.[(triple4)] Fiona is smart.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Harry is blue.[(triple8)] Harry is kind.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is quiet.[(((triple4) -> rule3))] Gary is not smart.[(((triple7) -> rule6))] Harry is red.[(((triple8) -> rule2))] @2: Harry is quiet.[(((((triple8) -> rule2)) -> rule3))]