Erin is big. Young, big things are nice. If something is nice and blue then it is white. If something is nice and young then it is round. All red, nice things are blue. White, red things are blue. If Erin is red and Erin is blue then Erin is white. All round, big things are blue. Big things are red.
Erin is big.
@0: Erin is big.[(triple1)] @1: Erin is red.[(((triple1) -> rule8))]