Anne is big. Charlie is round. Gary is not big. Harry is not blue. Rough, young things are round. If something is young then it is not rough. Big things are young. All rough things are blue. If something is big and not rough then it is furry. Furry things are nice.
Harry is not big.
@0: Anne is big.[(triple1)] Charlie is round.[(triple2)] Gary is not big.[(triple3)] Harry is not blue.[(triple4)] @1: Anne is young.[(((triple1) -> rule3))] @2: Anne is not rough.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is furry.[(((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule5))] @4: Anne is nice.[(((((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule5)) -> rule6))]