Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is white. Anne is young. Young, white people are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Young, white people are blue.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Anne is blue.
True
1
proof
[(triple1 OR ((triple7 triple6) -> rule1))]
("Anne" "is" "blue" "+")
triple1
((triple7 triple6) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not quiet.
False
1
inv-proof
[(triple5)]
("Anne" "is" "quiet" "-")
triple5
@0: Anne is blue.[(triple1 OR ((triple7 triple6) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is quiet.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple7 triple6) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7