Charlie is big. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is not round. Charlie is white. Harry is big. Harry is kind. Harry is nice. Harry is rough. Harry is not round. Harry is white. All white, rough people are big. Blue people are not big. If someone is rough then they are white. If someone is kind and not blue then they are rough. If Charlie is not kind then Charlie is not round. If Harry is white then Harry is kind. If someone is big and not rough then they are round. Kind people are not round.
Charlie is not white.
@0: Charlie is big.[(triple1 OR ((triple6 triple4) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule1))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not round.[(triple5 OR ((triple2) -> rule8))] Charlie is rough.[(triple4)] Charlie is white.[(triple6 OR ((triple4) -> rule3))] Harry is big.[(triple7 OR ((triple12 triple10) -> rule1) OR ((((triple10) -> rule3) triple10) -> rule1))] Harry is kind.[(triple8 OR ((triple12) -> rule6) OR ((((triple10) -> rule3)) -> rule6))] Harry is nice.[(triple9)] Harry is not round.[(triple11 OR ((triple8) -> rule8) OR ((((triple12) -> rule6)) -> rule8) OR ((((((triple10) -> rule3)) -> rule6)) -> rule8))] Harry is rough.[(triple10)] Harry is white.[(triple12 OR ((triple10) -> rule3))]