Bob is kind. Charlie is round. Erin is green. Smart people are green. All kind people are young. Quiet, green people are not young. If someone is round then they are quiet. If someone is smart and green then they are quiet. If Charlie is round then Charlie is smart. If Charlie is kind and Charlie is quiet then Charlie is cold. If Erin is smart and Erin is round then Erin is not quiet.
Bob is not smart.
@0: Bob is kind.[(triple1)] Charlie is round.[(triple2)] Erin is green.[(triple3)] @1: Bob is young.[(((triple1) -> rule2))] Charlie is quiet.[(((triple2) -> rule4) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule1)) -> rule5))] Charlie is smart.[(((triple2) -> rule6))] @2: Charlie is green.[(((((triple2) -> rule6)) -> rule1))] @3: Charlie is not young.[(((((triple2) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule3))]