Bob is young. Charlie is round. Erin is young. All nice, young things are round. All white, nice things are big. If Erin is young then Erin is blue. If something is young and not white then it is smart. If something is big and not white then it is young. If something is blue then it is not nice. If Charlie is young then Charlie is nice. If Erin is young and Erin is not nice then Erin is round.
Bob is white.
@0: Bob is young.[(triple1)] Charlie is round.[(triple2)] Erin is young.[(triple3)] @1: Erin is blue.[(((triple3) -> rule3))] @2: Erin is not nice.[(((((triple3) -> rule3)) -> rule6))] @3: Erin is round.[(((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule8))]