Anne is quiet. Bob is kind. Charlie is cold. Fiona is cold. All cold, young things are white. All nice things are quiet. If something is cold then it is quiet. If Fiona is kind and Fiona is young then Fiona is nice. If something is quiet then it is white. All young, kind things are big. If something is white then it is young. Kind, quiet things are young.
Anne is not nice.
@0: Anne is quiet.[(triple1)] Bob is kind.[(triple2)] Charlie is cold.[(triple3)] Fiona is cold.[(triple4)] @1: Anne is white.[(((triple1) -> rule5))] Charlie is quiet.[(((triple3) -> rule3))] Fiona is quiet.[(((triple4) -> rule3))] @2: Anne is young.[(((((triple1) -> rule5)) -> rule7))] Charlie is white.[(((((triple3) -> rule3)) -> rule5))] Fiona is white.[(((((triple4) -> rule3)) -> rule5))] @3: Charlie is young.[(((((((triple3) -> rule3)) -> rule5)) -> rule7))] Fiona is young.[(((((((triple4) -> rule3)) -> rule5)) -> rule7))]