Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is white. All kind, white people are blue. Kind, green people are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
All kind, white people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Kind, green people are white.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Anne is blue.
True
1
proof
[(triple1 OR ((triple3 triple7) -> rule1) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule1))]
("Anne" "is" "blue" "+")
triple1
((triple3 triple7) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not round.
False
1
inv-proof
[(triple6)]
("Anne" "is" "round" "-")
triple6
@0: Anne is blue.[(triple1 OR ((triple3 triple7) -> rule1) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple3 triple2) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3 triple7) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple3 triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1