Bob is big. Erin is big. Erin is blue. All young, white people are cold. If Erin is not smart then Erin is white. Big people are young. All cold, smart people are not white. All young, blue people are not white. If someone is young and cold then they are blue. If someone is cold then they are not big. If someone is big and not white then they are quiet.
Erin is smart.
@0: Bob is big.[(triple1)] Erin is big.[(triple2)] Erin is blue.[(triple3)] @1: Bob is young.[(((triple1) -> rule3))] Erin is young.[(((triple2) -> rule3))] @2: Erin is not white.[(((((triple2) -> rule3) triple3) -> rule5))] @3: Erin is quiet.[(((triple2 ((((triple2) -> rule3) triple3) -> rule5)) -> rule8))]