Charlie is big. Charlie is white. Erin is big. Erin is nice. Erin is quiet. Erin is white. Erin is young. Quiet people are young. If Charlie is nice and Charlie is kind then Charlie is round. Quiet people are nice. All young people are quiet. Big people are kind. If someone is round and white then they are big.
Erin is big.
@0: Charlie is big.[(triple1)] Charlie is white.[(triple2)] Erin is big.[(triple3)] Erin is nice.[(triple4 OR ((triple5) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Erin is quiet.[(triple5 OR ((triple7) -> rule4))] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple5) -> rule1))] @1: Charlie is kind.[(((triple1) -> rule5))] Erin is kind.[(((triple3) -> rule5))]