Charlie is quiet. Dave is quiet. Dave is round. Dave is smart. Dave is white. Fiona is nice. Fiona is quiet. Fiona is not round. Fiona is not smart. Fiona is white. All quiet people are white. If Charlie is quiet and Charlie is nice then Charlie is blue.
Charlie is not blue.
@0: Charlie is quiet.[(triple1)] Dave is quiet.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5 OR ((triple2) -> rule1))] Fiona is nice.[(triple6)] Fiona is not round.[(triple8)] Fiona is not smart.[(triple9)] Fiona is quiet.[(triple7)] Fiona is white.[(triple10 OR ((triple7) -> rule1))] @1: Charlie is white.[(((triple1) -> rule1))]