Anne is blue. Bob is young. Erin is nice. All big, blue things are young. If Bob is big then Bob is nice. All round things are blue. Young, round things are nice. If something is blue then it is big. All blue, big things are red. If Bob is red and Bob is big then Bob is blue. If something is round and big then it is blue.
Bob is not young.
@0: Anne is blue.[(triple1)] Bob is young.[(triple2)] Erin is nice.[(triple3)] @1: Anne is big.[(((triple1) -> rule5))] @2: Anne is red.[(((triple1 ((triple1) -> rule5)) -> rule6))] Anne is young.[(((((triple1) -> rule5) triple1) -> rule1))]