Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is white. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is white. Round people are cold. If someone is white then they are quiet. If Harry is white then Harry is green. If Charlie is quiet and Charlie is round then Charlie is kind. If Harry is green and Harry is not cold then Harry is quiet. If someone is quiet and not cold then they are not green.
Harry is quiet.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple6) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple5 triple6) -> rule4) OR ((((triple7) -> rule2) triple6) -> rule4))] Charlie is quiet.[(triple5 OR ((triple7) -> rule2))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple13) -> rule1))] Harry is green.[(triple10 OR ((triple14) -> rule3))] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple14) -> rule2))] Harry is round.[(triple13)] Harry is white.[(triple14)]