Bob is big. Bob is blue. Bob is white. If Bob is big then Bob is blue. If Bob is green and Bob is not round then Bob is not big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is white.
("Bob" "is" "white" "+")
If Bob is big then Bob is blue.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "blue" "+"))
If Bob is green and Bob is not round then Bob is not big.
((("Bob" "is" "green" "+") ("Bob" "is" "round" "~")) -> ("Bob" "is" "big" "-"))
Bob is blue.
True
1
proof
[(triple2 OR ((triple1) -> rule1))]
("Bob" "is" "blue" "+")
triple2
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule1))]
("Bob" "is" "blue" "-")
triple2
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule1))] Bob is white.[(triple3)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple1) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple3