Charlie is smart. Fiona is furry. Fiona is not smart. If someone is rough and big then they are furry. Young, rough people are furry. If someone is rough then they are big. Rough people are white. If Charlie is smart then Charlie is not white. If someone is big and not rough then they are young.
Fiona is not young.
@0: Charlie is smart.[(triple1)] Fiona is furry.[(triple2)] Fiona is not smart.[(triple3)] @1: Charlie is not white.[(((triple1) -> rule5))]