Anne is not big. Anne is furry. Anne is red. Anne is round. Bob is big. Bob is red. Bob is not young. If Anne is young and Anne is smart then Anne is not white. All smart people are not furry. If someone is big and smart then they are furry. If Bob is round then Bob is furry. All big people are white. If someone is smart and red then they are not big. If someone is round and not red then they are young. If Anne is round and Anne is not big then Anne is furry.
Anne is not big.
("Anne" "is" "big" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not young.
("Bob" "is" "young" "-")
If Anne is young and Anne is smart then Anne is not white.
((("Anne" "is" "young" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "white" "-"))
All smart people are not furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
If someone is big and smart then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If Bob is round then Bob is furry.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "furry" "+"))
All big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is smart and red then they are not big.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
If someone is round and not red then they are young.
((("someone" "is" "round" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "+"))
If Anne is round and Anne is not big then Anne is furry.
((("Anne" "is" "round" "+") ("Anne" "is" "big" "~")) -> ("Anne" "is" "furry" "+"))
Anne is furry.
True
1
proof
[(triple2 OR ((triple4 triple1) -> rule8))]
("Anne" "is" "furry" "+")
triple2
((triple4 triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is not big.
False
1
inv-proof
[(triple5)]
("Bob" "is" "big" "-")
triple5
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "white" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is furry.[(triple2 OR ((triple4 triple1) -> rule8))] Anne is not big.[(triple1)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is big.[(triple5)] Bob is not young.[(triple7)] Bob is red.[(triple6)] @1: Bob is white.[(((triple5) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple4 triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
((triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1