Anne is smart. Bob is smart. Erin is round. If something is white and not smart then it is big. All smart things are big. All big things are white. All young things are not white. Big things are round. Round things are not young.
Erin is white.
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Erin is round.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))] Bob is big.[(((triple2) -> rule2))] Erin is not young.[(((triple3) -> rule6))] @2: Anne is round.[(((((triple1) -> rule2)) -> rule5))] Anne is white.[(((((triple1) -> rule2)) -> rule3))] Bob is round.[(((((triple2) -> rule2)) -> rule5))] Bob is white.[(((((triple2) -> rule2)) -> rule3))] @3: Anne is not young.[(((((((triple1) -> rule2)) -> rule5)) -> rule6))] Bob is not young.[(((((((triple2) -> rule2)) -> rule5)) -> rule6))]