Charlie is blue. Charlie is not kind. Charlie is smart. Charlie is not young. Erin is round. Erin is young. Harry is kind. If someone is quiet then they are green. All quiet, kind people are green. If someone is blue and not round then they are green. Blue, green people are kind. Smart people are blue. If someone is green then they are blue. If Erin is young then Erin is green. If someone is green and not round then they are not quiet.
Harry is not green.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule5))] Charlie is not kind.[(triple2)] Charlie is not young.[(triple4)] Charlie is smart.[(triple3)] Erin is round.[(triple5)] Erin is young.[(triple6)] Harry is kind.[(triple7)] @1: Erin is green.[(((triple6) -> rule7))] @2: Erin is blue.[(((((triple6) -> rule7)) -> rule6))] @3: Erin is kind.[(((((((triple6) -> rule7)) -> rule6) ((triple6) -> rule7)) -> rule4))]