Charlie is cold. Charlie is green. Charlie is quiet. Charlie is round. Dave is quiet. Dave is round. Harry is green. All round people are white. If someone is red and white then they are cold. If someone is red then they are cold. If Charlie is kind then Charlie is red. Green people are quiet. If someone is green then they are quiet. White, cold people are round. If Dave is white then Dave is cold.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3 OR ((triple2) -> rule5) OR ((triple2) -> rule6))] Charlie is round.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Harry is green.[(triple7)] @1: Charlie is white.[(((triple4) -> rule1))] Dave is white.[(((triple6) -> rule1))] Harry is quiet.[(((triple7) -> rule5) OR ((triple7) -> rule6))] @2: Dave is cold.[(((((triple6) -> rule1)) -> rule8))]