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