Bob is big. Charlie is big. Charlie is white. Erin is kind. Erin is young. Harry is blue. Harry is kind. Nice people are white. If Charlie is young then Charlie is blue. All white, quiet people are nice. Kind, nice people are blue. All kind people are quiet. Young people are kind.
Erin is kind.
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Charlie is white.[(triple3)] Erin is kind.[(triple4 OR ((triple5) -> rule6))] Erin is young.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple7)] @1: Erin is quiet.[(((triple4) -> rule5) OR ((((triple5) -> rule6)) -> rule5))] Harry is quiet.[(((triple7) -> rule5))]