Anne is red. Dave is kind. Fiona is rough. All red people are white. If Fiona is rough then Fiona is red. If someone is kind then they are cold. Nice people are young. White, young people are red. If Dave is nice and Dave is rough then Dave is cold.
Anne is red.
("Anne" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If Fiona is rough then Fiona is red.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "red" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
White, young people are red.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If Dave is nice and Dave is rough then Dave is cold.
((("Dave" "is" "nice" "+") ("Dave" "is" "rough" "+")) -> ("Dave" "is" "cold" "+"))
Anne is red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Fiona is red.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "red" "+")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "-")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "cold" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is red.[(triple1)] Dave is kind.[(triple2)] Fiona is rough.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))] Dave is cold.[(((triple2) -> rule3))] Fiona is red.[(((triple3) -> rule2))] @2: Fiona is white.[(((((triple3) -> rule2)) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2