Anne is white. Bob is young. Fiona is red. Red things are cold. If something is young then it is green. All white things are red. If Fiona is cold then Fiona is smart. If something is young and white then it is green. If Anne is red and Anne is smart then Anne is nice. If something is young and white then it is cold. Red things are white.
Anne is white.
("Anne" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is young then it is green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
All white things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If Fiona is cold then Fiona is smart.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "smart" "+"))
If something is young and white then it is green.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If Anne is red and Anne is smart then Anne is nice.
((("Anne" "is" "red" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "nice" "+"))
If something is young and white then it is cold.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "nice" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Anne is white.[(triple1)] Bob is young.[(triple2)] Fiona is red.[(triple3)] @1: Anne is red.[(((triple1) -> rule3))] Bob is green.[(((triple2) -> rule2))] Fiona is cold.[(((triple3) -> rule1))] Fiona is white.[(((triple3) -> rule8))] @2: Anne is cold.[(((((triple1) -> rule3)) -> rule1))] Fiona is smart.[(((((triple3) -> rule1)) -> rule4))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2