Bob is blue. Erin is not round. If someone is nice and not young then they are round. Blue people are round. All young people are nice. All young people are quiet. All smart people are not quiet. If someone is kind and not young then they are quiet. Young, quiet people are not blue. If someone is round then they are smart.
Erin is round.
@0: Bob is blue.[(triple1)] Erin is not round.[(triple2)] @1: Bob is round.[(((triple1) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule2)) -> rule8))] @3: Bob is not quiet.[(((((((triple1) -> rule2)) -> rule8)) -> rule5))]