Charlie is big. Charlie is cold. Charlie is not rough. Charlie is white. Dave is cold. Dave is not white. Erin is not big. Erin is not cold. Erin is kind. Erin is not rough. Erin is smart. Erin is white. Erin is not young. Harry is rough. Harry is smart. Harry is young. Rough things are big. All rough things are cold. If Harry is not cold then Harry is big. If something is kind and not cold then it is white. If something is white and not big then it is kind. If something is rough and white then it is kind. All big things are kind. If Dave is white then Dave is young.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is not rough.[(triple3)] Charlie is white.[(triple4)] Dave is cold.[(triple5)] Dave is not white.[(triple6)] Erin is kind.[(triple9 OR ((triple12 triple7) -> rule5))] Erin is not big.[(triple7)] Erin is not cold.[(triple8)] Erin is not rough.[(triple10)] Erin is not young.[(triple13)] Erin is smart.[(triple11)] Erin is white.[(triple12 OR ((triple9 triple8) -> rule4))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Charlie is kind.[(((triple1) -> rule7))] Harry is big.[(((triple14) -> rule1))] Harry is cold.[(((triple14) -> rule2))] @2: Harry is kind.[(((((triple14) -> rule1)) -> rule7))]