Charlie is big. Charlie is kind. Erin is smart. Round, green people are big. All big, smart people are white. All smart people are big. If Charlie is smart and Charlie is nice then Charlie is white. Smart people are green. If someone is round then they are nice. Big people are white. If Charlie is kind then Charlie is white.
Erin is not round.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Erin is smart.[(triple3)] @1: Charlie is white.[(((triple1) -> rule7) OR ((triple2) -> rule8))] Erin is big.[(((triple3) -> rule3))] Erin is green.[(((triple3) -> rule5))] @2: Erin is white.[(((((triple3) -> rule3)) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule2))]