Bob is cold. Bob is smart. Bob is not white. Quiet people are blue. If someone is white then they are not smart. Smart, white people are green. If someone is blue and rough then they are green. If Bob is rough then Bob is not white. If someone is white then they are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is white then they are not smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
Smart, white people are green.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If Bob is rough then Bob is not white.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "white" "-"))
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Bob is white.
False
1
inv-proof
[(triple3)]
("Bob" "is" "white" "+")
triple3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Bob is not white.[(triple3)] Bob is smart.[(triple2)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple2