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