Erin is big. Gary is not big. Harry is smart. If someone is smart and big then they are not quiet. Smart people are big. If Harry is smart then Harry is young. If someone is red then they are green. If someone is young and not blue then they are red. If someone is green and not big then they are not young.
Gary is not red.
@0: Erin is big.[(triple1)] Gary is not big.[(triple2)] Harry is smart.[(triple3)] @1: Harry is big.[(((triple3) -> rule2))] Harry is young.[(((triple3) -> rule3))] @2: Harry is not quiet.[(((triple3 ((triple3) -> rule2)) -> rule1))]