Dave is kind. Fiona is nice. Gary is furry. Harry is not big. All nice, cold things are not big. All cold things are big. If Dave is cold then Dave is quiet. Nice things are not kind. Cold things are kind. All nice, quiet things are kind. If something is cold and nice then it is not furry. If Fiona is kind then Fiona is not red.
Dave is not quiet.
@0: Dave is kind.[(triple1)] Fiona is nice.[(triple2)] Gary is furry.[(triple3)] Harry is not big.[(triple4)] @1: Fiona is not kind.[(((triple2) -> rule4))]