Anne is green. Erin is young. If Anne is green then Anne is red. If Erin is young then Erin is rough. If someone is green then they are rough. All young, green people are round. If someone is round then they are green. All white people are young. All white, red people are round. All rough, red people are green.
Anne is green.
("Anne" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
If Anne is green then Anne is red.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "red" "+"))
If Erin is young then Erin is rough.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "rough" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All young, green people are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All white, red people are round.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All rough, red people are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Erin is young.
True
1
proof
[(triple2)]
("Erin" "is" "young" "+")
triple2
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is rough.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@2: Anne is round.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Anne" "is" "round" "-")
Erin is round.
Unknown
rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule7 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is green.[(triple1)] Erin is young.[(triple2)] @1: Anne is red.[(((triple1) -> rule1))] Anne is rough.[(((triple1) -> rule3))] Erin is rough.[(((triple2) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1