Anne is nice. Dave is big. Harry is quiet. If something is big and not nice then it is red. If something is nice and round then it is red. All nice things are cold. If something is nice then it is round. If something is cold and not red then it is young. All red things are young. All young things are quiet. If something is young and big then it is quiet.
Harry is not big.
@0: Anne is nice.[(triple1)] Dave is big.[(triple2)] Harry is quiet.[(triple3)] @1: Anne is cold.[(((triple1) -> rule3))] Anne is round.[(((triple1) -> rule4))] @2: Anne is red.[(((triple1 ((triple1) -> rule4)) -> rule2))] @3: Anne is young.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6))] @4: Anne is quiet.[(((((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule6)) -> rule7))]