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