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