Dave is not nice. Erin is nice. Fiona is not big. If someone is white and young then they are not smart. If someone is quiet and furry then they are smart. If someone is big then they are smart. All nice people are white. If someone is quiet and big then they are furry. All big people are quiet.
Dave is young.
@0: Dave is not nice.[(triple1)] Erin is nice.[(triple2)] Fiona is not big.[(triple3)] @1: Erin is white.[(((triple2) -> rule4))]