Charlie is cold. Charlie is young. Dave is red. Dave is not white. Dave is young. Erin is cold. Erin is red. Erin is round. Harry is green. Harry is young. If someone is young and not green then they are not white. Young people are cold. If someone is white then they are not round. If Harry is green then Harry is white. If someone is young and not round then they are red. If someone is round and not white then they are not quiet.
Harry is red.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule2))] Charlie is young.[(triple2)] Dave is not white.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple5)] Erin is cold.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Dave is cold.[(((triple5) -> rule2))] Harry is cold.[(((triple10) -> rule2))] Harry is white.[(((triple9) -> rule4))] @2: Harry is not round.[(((((triple9) -> rule4)) -> rule3))] @3: Harry is red.[(((triple10 ((((triple9) -> rule4)) -> rule3)) -> rule5))]