Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is not smart. Anne is white. Charlie is blue. Charlie is kind. Charlie is not round. Charlie is white. Erin is not furry. Erin is not green. Erin is not kind. Erin is round. Erin is smart. If Charlie is smart and Charlie is kind then Charlie is furry. If Charlie is kind and Charlie is round then Charlie is furry. If someone is green and blue then they are furry. If Erin is kind then Erin is smart. If Charlie is not white then Charlie is kind. All blue people are kind. If someone is white then they are green. All furry people are green.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3 triple1) -> rule3) OR ((((triple6) -> rule7) triple1) -> rule3))] Anne is green.[(triple3 OR ((triple2) -> rule8) OR ((triple6) -> rule7))] Anne is kind.[(triple4 OR ((triple1) -> rule6))] Anne is not smart.[(triple5)] Anne is white.[(triple6)] Charlie is blue.[(triple7)] Charlie is kind.[(triple8 OR ((triple7) -> rule6))] Charlie is not round.[(triple9)] Charlie is white.[(triple10)] Erin is not furry.[(triple11)] Erin is not green.[(triple12)] Erin is not kind.[(triple13)] Erin is round.[(triple14)] Erin is smart.[(triple15)] @1: Charlie is green.[(((triple10) -> rule7))] @2: Charlie is furry.[(((((triple10) -> rule7) triple7) -> rule3))]