Erin is big. If something is red and rough then it is big. All big, quiet things are kind. If Erin is rough and Erin is red then Erin is quiet. If something is blue then it is red. Big things are quiet. Kind, big things are blue.
Erin is quiet.
@0: Erin is big.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule5))] @2: Erin is kind.[(((triple1 ((triple1) -> rule5)) -> rule2))] @3: Erin is blue.[(((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule6))] @4: Erin is red.[(((((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule6)) -> rule4))]