Anne is not round. Fiona is cold. Harry is cold. If Anne is not round then Anne is big. If something is nice and not round then it is not young. If Anne is big and Anne is white then Anne is nice. All nice things are blue. All big things are nice. If Harry is not young and Harry is not big then Harry is cold.
Harry is not nice.
@0: Anne is not round.[(triple1)] Fiona is cold.[(triple2)] Harry is cold.[(triple3)] @1: Anne is big.[(((triple1) -> rule1))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is blue.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))] Anne is not young.[(((((((triple1) -> rule1)) -> rule5) triple1) -> rule2))]