Anne is big. Bob is kind. Erin is white. Fiona is kind. If Anne is blue then Anne is big. If Anne is kind then Anne is not quiet. If something is big and kind then it is cold. If something is blue then it is not kind. Young, kind things are not big. If something is young and not white then it is not big. All big things are quiet. Quiet things are blue.
Anne is not blue.
@0: Anne is big.[(triple1)] Bob is kind.[(triple2)] Erin is white.[(triple3)] Fiona is kind.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule7))] @2: Anne is blue.[(((((triple1) -> rule7)) -> rule8))] @3: Anne is not kind.[(((((((triple1) -> rule7)) -> rule8)) -> rule4))]