Anne is nice. Anne is quiet. Bob is quiet. Bob is red. Gary is blue. Gary is nice. Gary is rough. All nice, quiet people are young. Red, nice people are kind. Quiet people are rough.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All nice, quiet people are young.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Red, nice people are kind.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Anne is nice.
True
1
proof
[(triple1)]
("Anne" "is" "nice" "+")
triple1
Bob is not quiet.
False
1
inv-proof
[(triple3)]
("Bob" "is" "quiet" "-")
triple3
Anne is rough.
True
2
proof
[(((triple2) -> rule3))]
("Anne" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Anne" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Gary is blue.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Anne is rough.[(((triple2) -> rule3))] Anne is young.[(((triple1 triple2) -> rule1))] Bob is rough.[(((triple3) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1