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