Anne is blue. Fiona is white. If someone is white and red then they are smart. Young, red people are white. Blue people are young. All blue, round people are smart. Red, cold people are young. If Fiona is white then Fiona is cold.
Anne is blue.
("Anne" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is white and red then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Young, red people are white.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All blue, round people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Red, cold people are young.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If Fiona is white then Fiona is cold.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "cold" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Anne is young.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "young" "+")
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "young" "-")
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is blue.[(triple1)] Fiona is white.[(triple2)] @1: Anne is young.[(((triple1) -> rule3))] Fiona is cold.[(((triple2) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1