Bob is nice. Charlie is nice. Dave is furry. All quiet, white things are furry. All cold things are red. Nice things are kind. All kind, red things are furry. If Charlie is quiet then Charlie is kind. All red things are cold.
Charlie is kind.
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Dave is furry.[(triple3)] @1: Bob is kind.[(((triple1) -> rule3))] Charlie is kind.[(((triple2) -> rule3))]