Anne is blue. Anne is green. Anne is quiet. Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is smart. Bob is young. Quiet, blue things are furry. If something is young and furry then it is green. All green things are blue. Smart things are young. Furry, green things are round. If Anne is furry and Anne is young then Anne is green.
Anne is smart.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Bob is blue.[(triple4 OR ((triple6) -> rule3) OR ((((triple10 triple5) -> rule2)) -> rule3) OR ((((((triple9) -> rule4) triple5) -> rule2)) -> rule3))] Bob is furry.[(triple5 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple6) -> rule3)) -> rule1))] Bob is green.[(triple6 OR ((triple10 triple5) -> rule2) OR ((triple10 ((triple7 triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule4) triple5) -> rule2) OR ((((triple9) -> rule4) ((triple7 triple4) -> rule1)) -> rule2))] Bob is quiet.[(triple7)] Bob is round.[(triple8 OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple10 triple5) -> rule2)) -> rule5) OR ((((triple7 triple4) -> rule1) triple6) -> rule5) OR ((((triple7 triple4) -> rule1) ((triple10 triple5) -> rule2)) -> rule5) OR ((triple5 ((triple10 ((triple7 triple4) -> rule1)) -> rule2)) -> rule5) OR ((triple5 ((((triple9) -> rule4) triple5) -> rule2)) -> rule5) OR ((((triple7 ((triple6) -> rule3)) -> rule1) triple6) -> rule5) OR ((triple5 ((((triple9) -> rule4) ((triple7 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple7 triple4) -> rule1) ((triple10 ((triple7 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple7 triple4) -> rule1) ((((triple9) -> rule4) triple5) -> rule2)) -> rule5) OR ((((triple7 ((triple6) -> rule3)) -> rule1) ((triple10 triple5) -> rule2)) -> rule5) OR ((((triple7 triple4) -> rule1) ((((triple9) -> rule4) ((triple7 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple7 ((triple6) -> rule3)) -> rule1) ((triple10 ((triple7 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple7 ((triple6) -> rule3)) -> rule1) ((((triple9) -> rule4) triple5) -> rule2)) -> rule5) OR ((((triple7 ((triple6) -> rule3)) -> rule1) ((((triple9) -> rule4) ((triple7 triple4) -> rule1)) -> rule2)) -> rule5))] Bob is smart.[(triple9)] Bob is young.[(triple10 OR ((triple9) -> rule4))] @1: Anne is furry.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple2) -> rule3)) -> rule1))] @2: Anne is round.[(((((triple3 triple1) -> rule1) triple2) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule1) triple2) -> rule5))]