Anne is not big. Bob is green. Bob is young. All white, smart people are round. All green, young people are big. If someone is furry then they are not big. If Anne is green then Anne is big. All white, young people are green. Big people are green. All white people are furry. If someone is big then they are young.
Anne is not big.
("Anne" "is" "big" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
All white, smart people are round.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
All green, young people are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is furry then they are not big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "-"))
If Anne is green then Anne is big.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "big" "+"))
All white, young people are green.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Anne is big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Bob is big.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Bob" "is" "big" "-")
((triple2 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is not big.[(triple1)] Bob is green.[(triple2)] Bob is young.[(triple3)] @1: Bob is big.[(((triple2 triple3) -> rule2))]
Anne is not big.
("Anne" "is" "big" "-")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1