Charlie is cold. Charlie is green. Charlie is quiet. Charlie is white. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is white. White people are nice. If someone is kind then they are white. If Charlie is cold then Charlie is white. If someone is green then they are white. If Charlie is kind then Charlie is white. If Charlie is kind then Charlie is quiet.
Charlie is not big.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is white.[(triple4 OR ((triple1) -> rule3) OR ((triple2) -> rule4))] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8 OR ((triple10) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Harry is quiet.[(triple9)] Harry is white.[(triple10 OR ((triple7) -> rule2))] @1: Charlie is nice.[(((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple2) -> rule4)) -> rule1))]