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