Anne is kind. Erin is not young. All young people are rough. Kind people are young. If someone is red and nice then they are young. Quiet people are young. If someone is red then they are young. If someone is nice and quiet then they are kind.
Anne is kind.
("Anne" "is" "kind" "+")
Erin is not young.
("Erin" "is" "young" "-")
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red and nice then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and quiet then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Erin is not young.
True
1
proof
[(triple2)]
("Erin" "is" "young" "-")
triple2
Erin is young.
False
1
inv-proof
[(triple2)]
("Erin" "is" "young" "+")
triple2
Anne is young.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "-")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is kind.[(triple1)] Erin is not young.[(triple2)] @1: Anne is young.[(((triple1) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Erin is not young.
("Erin" "is" "young" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2