Charlie is round. Charlie is not white. Dave is young. Fiona is round. Gary is furry. Gary is quiet. Gary is young. If someone is young and rough then they are white. All big people are not white. Round people are big.
Fiona is white.
@0: Charlie is not white.[(triple2 OR ((((triple1) -> rule3)) -> rule2))] Charlie is round.[(triple1)] Dave is young.[(triple3)] Fiona is round.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7)] @1: Charlie is big.[(((triple1) -> rule3))] Fiona is big.[(((triple4) -> rule3))] @2: Fiona is not white.[(((((triple4) -> rule3)) -> rule2))]