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