Dave is furry. Dave is nice. Dave is young. Fiona is furry. Fiona is nice. Fiona is not round. Fiona is not white. If Fiona is not white and Fiona is not nice then Fiona is rough. If someone is rough and white then they are furry. If someone is white and not rough then they are not round. If Fiona is white and Fiona is not furry then Fiona is big. Rough people are young. If someone is furry and not round then they are young.
Dave is not nice.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] Fiona is furry.[(triple4)] Fiona is nice.[(triple5)] Fiona is not round.[(triple6)] Fiona is not white.[(triple7)] @1: Fiona is young.[(((triple4 triple6) -> rule6))]