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