Charlie is round. Dave is nice. Fiona is rough. Big things are red. All furry, big things are white. All rough things are not white. If something is red and not furry then it is not nice. If Fiona is nice and Fiona is not rough then Fiona is white. If Charlie is furry and Charlie is not big then Charlie is not rough.
Fiona is not rough.
@0: Charlie is round.[(triple1)] Dave is nice.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is not white.[(((triple3) -> rule3))]