Charlie is furry. Erin is cold. Erin is quiet. If Charlie is rough then Charlie is furry. If Charlie is rough then Charlie is not white. If Charlie is white then Charlie is rough. Kind people are not rough. If Erin is kind and Erin is rough then Erin is not cold. If Charlie is furry then Charlie is young. If someone is young and not white then they are furry. If someone is kind and cold then they are not furry.
Charlie is not rough.
@0: Charlie is furry.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3)] @1: Charlie is young.[(((triple1) -> rule6))]