Anne is not round. Dave is nice. Dave is quiet. Fiona is not cold. Fiona is quiet. Fiona is young. Gary is cold. If someone is young then they are not green. If someone is white and quiet then they are not round. If someone is nice then they are quiet. All young people are quiet. If someone is white then they are quiet. If someone is white and young then they are quiet. Cold people are white. All young people are not nice.
Gary is not white.
@0: Anne is not round.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3 OR ((triple2) -> rule3))] Fiona is not cold.[(triple4)] Fiona is quiet.[(triple5 OR ((triple6) -> rule4))] Fiona is young.[(triple6)] Gary is cold.[(triple7)] @1: Fiona is not green.[(((triple6) -> rule1))] Fiona is not nice.[(((triple6) -> rule8))] Gary is white.[(((triple7) -> rule7))] @2: Gary is quiet.[(((((triple7) -> rule7)) -> rule5))] @3: Gary is not round.[(((((triple7) -> rule7) ((((triple7) -> rule7)) -> rule5)) -> rule2))]