Charlie is not green. Charlie is rough. Charlie is round. Charlie is smart. Erin is furry. Erin is nice. Erin is white. Harry is furry. Harry is nice. Harry is round. All white people are nice. If Erin is rough and Erin is round then Erin is white. If someone is rough and furry then they are not white. Rough, round people are white. Green people are white. If someone is white and round then they are rough. If Erin is smart and Erin is furry then Erin is nice. If Charlie is nice and Charlie is not green then Charlie is not furry.
Harry is green.
@0: Charlie is not green.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6 OR ((triple7) -> rule1))] Erin is white.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)] @1: Charlie is white.[(((triple2 triple3) -> rule4))] @2: Charlie is nice.[(((((triple2 triple3) -> rule4)) -> rule1))] @3: Charlie is not furry.[(((((((triple2 triple3) -> rule4)) -> rule1) triple1) -> rule8))]