Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is white. Smart people are quiet.
Charlie is red.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3 OR ((triple6) -> rule1))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10 OR ((triple13) -> rule1))] Harry is red.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)]