Charlie is big. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is white. Charlie is not young. Erin is furry. Erin is not smart. Erin is white. Erin is young. If Erin is smart and Erin is red then Erin is white. If someone is big and not furry then they are kind. If someone is big and not white then they are kind. Kind people are not young. All kind, young people are big. If Charlie is young then Charlie is big.
Erin is smart.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not young.[(triple6 OR ((triple3) -> rule4))] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Erin is furry.[(triple7)] Erin is not smart.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)]