Anne is round. Charlie is smart. Erin is white. If someone is white then they are big. All green people are not big. If Charlie is round then Charlie is not smart. If Anne is white and Anne is round then Anne is not green. Big people are white. If someone is big then they are round.
Charlie is smart.
@0: Anne is round.[(triple1)] Charlie is smart.[(triple2)] Erin is white.[(triple3)] @1: Erin is big.[(((triple3) -> rule1))] @2: Erin is round.[(((((triple3) -> rule1)) -> rule6))]