Charlie is red. Fiona is quiet. If someone is quiet and not rough then they are kind. All kind people are not furry. If someone is furry and not round then they are not smart. All kind people are not red. If Charlie is red then Charlie is furry. If Charlie is rough then Charlie is furry.
Charlie is not red.
@0: Charlie is red.[(triple1)] Fiona is quiet.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule5))]