Charlie is green. Dave is quiet. Dave is red. Dave is not white. Erin is not big. Erin is not cold. Erin is green. Harry is big. Harry is cold. Harry is green. If someone is red then they are not white. If Charlie is quiet then Charlie is blue. If someone is quiet and red then they are blue. All white people are cold. All green people are quiet. All blue, green people are red. If someone is red and not white then they are big.
Erin is red.
@0: Charlie is green.[(triple1)] Dave is not white.[(triple4 OR ((triple3) -> rule1))] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Erin is green.[(triple7)] Erin is not big.[(triple5)] Erin is not cold.[(triple6)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Charlie is quiet.[(((triple1) -> rule5))] Dave is big.[(((triple3 triple4) -> rule7) OR ((triple3 ((triple3) -> rule1)) -> rule7))] Dave is blue.[(((triple2 triple3) -> rule3))] Erin is quiet.[(((triple7) -> rule5))] Harry is quiet.[(((triple10) -> rule5))] @2: Charlie is blue.[(((((triple1) -> rule5)) -> rule2))] @3: Charlie is red.[(((((((triple1) -> rule5)) -> rule2) triple1) -> rule6))] @4: Charlie is not white.[(((((((((triple1) -> rule5)) -> rule2) triple1) -> rule6)) -> rule1))] @5: Charlie is big.[(((((((((triple1) -> rule5)) -> rule2) triple1) -> rule6) ((((((((triple1) -> rule5)) -> rule2) triple1) -> rule6)) -> rule1)) -> rule7))]