Charlie is cold. Charlie is kind. Charlie is young. Harry is green. Harry is nice. Harry is quiet. Harry is round. Quiet, kind people are green. If Charlie is young then Charlie is cold. If someone is nice then they are cold. All green, cold people are round. If someone is young then they are nice. Young, quiet people are green. Kind, nice people are green. Nice people are kind.
Charlie is not round.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule2) OR ((((triple3) -> rule5)) -> rule3))] Charlie is kind.[(triple2 OR ((((triple3) -> rule5)) -> rule8))] Charlie is young.[(triple3)] Harry is green.[(triple4 OR ((triple6 ((triple5) -> rule8)) -> rule1) OR ((((triple5) -> rule8) triple5) -> rule7))] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7 OR ((triple4 ((triple5) -> rule3)) -> rule4) OR ((((triple6 ((triple5) -> rule8)) -> rule1) ((triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule8) triple5) -> rule7) ((triple5) -> rule3)) -> rule4))] @1: Charlie is nice.[(((triple3) -> rule5))] Harry is cold.[(((triple5) -> rule3))] Harry is kind.[(((triple5) -> rule8))] @2: Charlie is green.[(((triple2 ((triple3) -> rule5)) -> rule7) OR ((((((triple3) -> rule5)) -> rule8) ((triple3) -> rule5)) -> rule7))] @3: Charlie is round.[(((((triple2 ((triple3) -> rule5)) -> rule7) triple1) -> rule4) OR ((((triple2 ((triple3) -> rule5)) -> rule7) ((triple3) -> rule2)) -> rule4) OR ((((triple2 ((triple3) -> rule5)) -> rule7) ((((triple3) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule8) ((triple3) -> rule5)) -> rule7) triple1) -> rule4) OR ((((((((triple3) -> rule5)) -> rule8) ((triple3) -> rule5)) -> rule7) ((triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule8) ((triple3) -> rule5)) -> rule7) ((((triple3) -> rule5)) -> rule3)) -> rule4))]