Anne is big. Anne is nice. Bob is furry. If Anne is blue then Anne is kind. If Anne is nice and Anne is round then Anne is furry. If someone is white and blue then they are round. All furry people are white. If someone is round then they are kind. All blue, nice people are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is furry.
("Bob" "is" "furry" "+")
If Anne is blue then Anne is kind.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "kind" "+"))
If Anne is nice and Anne is round then Anne is furry.
((("Anne" "is" "nice" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "furry" "+"))
If someone is white and blue then they are round.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All blue, nice people are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Bob is white.
True
2
proof
[(((triple3) -> rule4))]
("Bob" "is" "white" "+")
((triple3) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not white.
False
2
inv-proof
[(((triple3) -> rule4))]
("Bob" "is" "white" "-")
((triple3) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is white.
Unknown
rconc
[@3: Anne is white.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Anne" "is" "white" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Bob is furry.[(triple3)] @1: Bob is white.[(((triple3) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
((triple3) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1