Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is round. Bob is blue. Bob is quiet. Bob is round. Charlie is blue. Charlie is red. Charlie is smart. Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is smart. All smart, blue things are green. Quiet things are red. If Bob is blue then Bob is red. All round things are furry. All quiet, red things are smart. If something is blue then it is quiet. If Bob is smart then Bob is blue. If Erin is round then Erin is smart.
Charlie is green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule4))] Anne is green.[(triple3 OR ((((triple4 ((triple4) -> rule2)) -> rule5) triple1) -> rule1) OR ((((((triple1) -> rule6) ((triple4) -> rule2)) -> rule5) triple1) -> rule1) OR ((((triple4 ((((triple1) -> rule6)) -> rule2)) -> rule5) triple1) -> rule1) OR ((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule5) triple1) -> rule1))] Anne is quiet.[(triple4 OR ((triple1) -> rule6))] Anne is round.[(triple5)] Bob is blue.[(triple6 OR ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule7))] Bob is quiet.[(triple7 OR ((triple6) -> rule6))] Bob is round.[(triple8)] Charlie is blue.[(triple9)] Charlie is red.[(triple10 OR ((((triple9) -> rule6)) -> rule2))] Charlie is smart.[(triple11 OR ((((triple9) -> rule6) triple10) -> rule5) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule5))] Erin is furry.[(triple12 OR ((triple15) -> rule4))] Erin is green.[(triple13)] Erin is quiet.[(triple14)] Erin is round.[(triple15)] Erin is smart.[(triple16 OR ((triple15) -> rule8) OR ((triple14 ((triple14) -> rule2)) -> rule5))] @1: Anne is red.[(((triple4) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Bob is furry.[(((triple8) -> rule4))] Bob is red.[(((triple6) -> rule3) OR ((triple7) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] Charlie is green.[(((triple11 triple9) -> rule1) OR ((((((triple9) -> rule6) triple10) -> rule5) triple9) -> rule1) OR ((((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule5) triple9) -> rule1))] Charlie is quiet.[(((triple9) -> rule6))] Erin is red.[(((triple14) -> rule2))] @2: Anne is smart.[(((triple4 ((triple4) -> rule2)) -> rule5) OR ((((triple1) -> rule6) ((triple4) -> rule2)) -> rule5) OR ((triple4 ((((triple1) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule5))] Bob is smart.[(((triple7 ((triple6) -> rule3)) -> rule5) OR ((triple7 ((triple7) -> rule2)) -> rule5) OR ((((triple6) -> rule6) ((triple6) -> rule3)) -> rule5) OR ((((triple6) -> rule6) ((triple7) -> rule2)) -> rule5) OR ((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule5) OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule2)) -> rule5))] @3: Bob is green.[(((((triple7 ((triple6) -> rule3)) -> rule5) triple6) -> rule1) OR ((((triple7 ((triple7) -> rule2)) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule6) ((triple7) -> rule2)) -> rule5) triple6) -> rule1) OR ((((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule2)) -> rule5) triple6) -> rule1) OR ((((triple7 ((triple6) -> rule3)) -> rule5) ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((triple7 ((triple7) -> rule2)) -> rule5) ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((triple7 ((((triple6) -> rule6)) -> rule2)) -> rule5) ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule5) ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple7) -> rule2)) -> rule5) ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule2)) -> rule5) ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule7)) -> rule1))]