Charlie is big. Charlie is blue. Charlie is furry. Charlie is not kind. Charlie is quiet. Charlie is rough. Charlie is white. Erin is big. Erin is not blue. Erin is furry. Erin is not kind. Erin is quiet. Erin is rough. Erin is not white. If something is furry and not quiet then it is kind. All kind, white things are furry. If something is white then it is furry. If something is quiet and not rough then it is white. Quiet things are big. If Erin is blue and Erin is kind then Erin is furry.
Charlie is big.
@0: Charlie is big.[(triple1 OR ((triple5) -> rule5))] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple7) -> rule3))] Charlie is not kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Erin is big.[(triple8 OR ((triple12) -> rule5))] Erin is furry.[(triple10)] Erin is not blue.[(triple9)] Erin is not kind.[(triple11)] Erin is not white.[(triple14)] Erin is quiet.[(triple12)] Erin is rough.[(triple13)]