Anne is not kind. Bob is furry. Fiona is smart. Gary is cold. All kind things are not furry. If something is cold then it is not furry. If something is blue then it is furry. Quiet things are furry. All furry, smart things are white. All furry things are white. If something is quiet and smart then it is not blue. If something is quiet and not smart then it is cold.
Fiona is not smart.
@0: Anne is not kind.[(triple1)] Bob is furry.[(triple2)] Fiona is smart.[(triple3)] Gary is cold.[(triple4)] @1: Bob is white.[(((triple2) -> rule6))] Gary is not furry.[(((triple4) -> rule2))]