Charlie is smart. Dave is green. Dave is red. Dave is round. Dave is smart. Erin is green. Erin is kind. Erin is not red. Erin is round. Erin is young. Harry is green. Harry is kind. All kind, round things are white. If something is red then it is white. If Charlie is kind then Charlie is round. All green, smart things are red. All smart things are green. White things are young.
Erin is white.
@0: Charlie is smart.[(triple1)] Dave is green.[(triple2 OR ((triple5) -> rule5))] Dave is red.[(triple3 OR ((triple2 triple5) -> rule4) OR ((((triple5) -> rule5) triple5) -> rule4))] Dave is round.[(triple4)] Dave is smart.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is not red.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10 OR ((((triple7 triple9) -> rule1)) -> rule6))] Harry is green.[(triple11)] Harry is kind.[(triple12)] @1: Charlie is green.[(((triple1) -> rule5))] Dave is white.[(((triple3) -> rule2) OR ((((triple2 triple5) -> rule4)) -> rule2) OR ((((((triple5) -> rule5) triple5) -> rule4)) -> rule2))] Erin is white.[(((triple7 triple9) -> rule1))] @2: Charlie is red.[(((((triple1) -> rule5) triple1) -> rule4))] Dave is young.[(((((triple3) -> rule2)) -> rule6) OR ((((((triple2 triple5) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule5) triple5) -> rule4)) -> rule2)) -> rule6))] @3: Charlie is white.[(((((((triple1) -> rule5) triple1) -> rule4)) -> rule2))] @4: Charlie is young.[(((((((((triple1) -> rule5) triple1) -> rule4)) -> rule2)) -> rule6))]