Bob is quiet. Dave is quiet. Fiona is nice. If someone is quiet then they are white. If someone is nice and cold then they are quiet.
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and cold then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Bob is quiet.
True
1
proof
[(triple1)]
("Bob" "is" "quiet" "+")
triple1
Bob is not quiet.
False
1
inv-proof
[(triple1)]
("Bob" "is" "quiet" "-")
triple1
Bob is white.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "white" "+")
((triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "white" "-")
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@2: Fiona is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is quiet.[(triple1)] Dave is quiet.[(triple2)] Fiona is nice.[(triple3)] @1: Bob is white.[(((triple1) -> rule1))] Dave is white.[(((triple2) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1