Charlie is blue. Dave is big. Erin is blue. Gary is red. Red things are kind. All big, red things are kind. If something is blue then it is not kind. If something is kind and not cold then it is blue. If Charlie is furry then Charlie is not kind. Furry things are red. White things are furry. All blue, white things are not big.
Erin is white.
@0: Charlie is blue.[(triple1)] Dave is big.[(triple2)] Erin is blue.[(triple3)] Gary is red.[(triple4)] @1: Charlie is not kind.[(((triple1) -> rule3))] Erin is not kind.[(((triple3) -> rule3))] Gary is kind.[(((triple4) -> rule1))]