Charlie is quiet. Gary is big. All kind things are furry. If something is big then it is furry. If Charlie is cold and Charlie is nice then Charlie is quiet. If Charlie is not kind then Charlie is not quiet. All quiet, kind things are nice. Big things are not nice. If something is cold and not furry then it is not blue. If something is big then it is not blue.
Charlie is cold.
@0: Charlie is quiet.[(triple1)] Gary is big.[(triple2)] @1: Gary is furry.[(((triple2) -> rule2))] Gary is not blue.[(((triple2) -> rule8))] Gary is not nice.[(((triple2) -> rule6))]