Anne is nice. Anne is white. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is young. Dave is nice. Fiona is round. Fiona is white. If Anne is nice and Anne is white then Anne is red. All red people are white. If Fiona is young then Fiona is nice.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Anne is nice and Anne is white then Anne is red.
((("Anne" "is" "nice" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "red" "+"))
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If Fiona is young then Fiona is nice.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is white.
True
1
proof
[(triple10)]
("Fiona" "is" "white" "+")
triple10
Bob is not rough.
False
1
inv-proof
[(triple6)]
("Bob" "is" "rough" "-")
triple6
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Dave is nice.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Anne is red.[(((triple1 triple2) -> rule1))] Bob is white.[(((triple5) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Anne is red.
("Anne" "is" "red" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple5) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1