Anne is green. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is young. Dave is furry. Dave is green. Dave is smart. Gary is quiet. Gary is young. If someone is blue and quiet then they are furry. All quiet, blue people are smart. All young people are blue. If someone is smart then they are quiet. Round people are furry. If Gary is green and Gary is furry then Gary is young. If someone is green then they are smart. All quiet people are round. All round people are young.
Anne is not blue.
@0: Anne is green.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4) -> rule4) OR ((((triple2) -> rule7)) -> rule4))] Charlie is smart.[(triple4 OR ((triple2) -> rule7) OR ((triple3 ((triple5) -> rule3)) -> rule2) OR ((triple3 ((((((triple3) -> rule8)) -> rule9)) -> rule3)) -> rule2))] Charlie is young.[(triple5 OR ((((triple3) -> rule8)) -> rule9) OR ((((((triple4) -> rule4)) -> rule8)) -> rule9) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule9))] Dave is furry.[(triple6 OR ((((((triple8) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((triple8) -> rule4)) -> rule1) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((((triple7) -> rule7)) -> rule4)) -> rule1) OR ((((((((((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((triple8) -> rule4)) -> rule1) OR ((((((((((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((((triple7) -> rule7)) -> rule4)) -> rule1))] Dave is green.[(triple7)] Dave is smart.[(triple8 OR ((triple7) -> rule7))] Gary is quiet.[(triple9)] Gary is young.[(triple10 OR ((((triple9) -> rule8)) -> rule9))] @1: Anne is smart.[(((triple1) -> rule7))] Charlie is blue.[(((triple5) -> rule3) OR ((((((triple3) -> rule8)) -> rule9)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule8)) -> rule9)) -> rule3) OR ((((((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3))] Charlie is round.[(((triple3) -> rule8) OR ((((triple4) -> rule4)) -> rule8) OR ((((((triple2) -> rule7)) -> rule4)) -> rule8))] Dave is quiet.[(((triple8) -> rule4) OR ((((triple7) -> rule7)) -> rule4))] Gary is blue.[(((triple10) -> rule3) OR ((((((triple9) -> rule8)) -> rule9)) -> rule3))] Gary is round.[(((triple9) -> rule8))] @2: Anne is quiet.[(((((triple1) -> rule7)) -> rule4))] Charlie is furry.[(((((triple3) -> rule8)) -> rule5) OR ((((triple5) -> rule3) triple3) -> rule1) OR ((((triple5) -> rule3) ((triple4) -> rule4)) -> rule1) OR ((((((triple4) -> rule4)) -> rule8)) -> rule5) OR ((((triple5) -> rule3) ((((triple2) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule9)) -> rule3) triple3) -> rule1) OR ((((((((triple3) -> rule8)) -> rule9)) -> rule3) ((triple4) -> rule4)) -> rule1) OR ((((((((triple3) -> rule8)) -> rule9)) -> rule3) ((((triple2) -> rule7)) -> rule4)) -> rule1) OR ((((((((((triple4) -> rule4)) -> rule8)) -> rule9)) -> rule3) triple3) -> rule1) OR ((((((((((triple4) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((triple4) -> rule4)) -> rule1) OR ((((((((((triple4) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((((triple2) -> rule7)) -> rule4)) -> rule1) OR ((((((((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3) triple3) -> rule1) OR ((((((((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((triple4) -> rule4)) -> rule1) OR ((((((((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((((triple2) -> rule7)) -> rule4)) -> rule1))] Dave is round.[(((((triple8) -> rule4)) -> rule8) OR ((((((triple7) -> rule7)) -> rule4)) -> rule8))] Gary is furry.[(((((triple9) -> rule8)) -> rule5) OR ((((triple10) -> rule3) triple9) -> rule1) OR ((((((((triple9) -> rule8)) -> rule9)) -> rule3) triple9) -> rule1))] Gary is smart.[(((triple9 ((triple10) -> rule3)) -> rule2) OR ((triple9 ((((((triple9) -> rule8)) -> rule9)) -> rule3)) -> rule2))] @3: Anne is round.[(((((((triple1) -> rule7)) -> rule4)) -> rule8))] Dave is young.[(((((((triple8) -> rule4)) -> rule8)) -> rule9) OR ((((((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule9))] @4: Anne is furry.[(((((((((triple1) -> rule7)) -> rule4)) -> rule8)) -> rule5) OR ((((((((((((triple1) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3) ((((triple1) -> rule7)) -> rule4)) -> rule1))] Anne is young.[(((((((((triple1) -> rule7)) -> rule4)) -> rule8)) -> rule9))] Dave is blue.[(((((((((triple8) -> rule4)) -> rule8)) -> rule9)) -> rule3) OR ((((((((((triple7) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3))] @5: Anne is blue.[(((((((((((triple1) -> rule7)) -> rule4)) -> rule8)) -> rule9)) -> rule3))]