Anne is round. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is round. Charlie is kind. Erin is kind. Erin is rough. If something is round and red then it is rough. If Charlie is blue then Charlie is round. Kind things are blue. All furry things are green. Kind, red things are round. All blue, red things are kind.
Erin is not kind.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2 OR ((triple5) -> rule3))] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule4))] Bob is kind.[(triple5 OR ((triple2 triple6) -> rule6))] Bob is red.[(triple6)] Bob is round.[(triple7 OR ((triple5 triple6) -> rule5) OR ((((triple2 triple6) -> rule6) triple6) -> rule5))] Charlie is kind.[(triple8)] Erin is kind.[(triple9)] Erin is rough.[(triple10)] @1: Bob is rough.[(((triple7 triple6) -> rule1) OR ((((triple5 triple6) -> rule5) triple6) -> rule1) OR ((((((triple2 triple6) -> rule6) triple6) -> rule5) triple6) -> rule1))] Charlie is blue.[(((triple8) -> rule3))] Erin is blue.[(((triple9) -> rule3))] @2: Charlie is round.[(((((triple8) -> rule3)) -> rule2))]