Dave is green. Fiona is not green. Fiona is quiet. If something is green then it is quiet. If something is green and not young then it is white. If Dave is quiet then Dave is cold.
Dave is green.
("Dave" "is" "green" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If something is green then it is quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is green and not young then it is white.
((("something" "is" "green" "+") ("something" "is" "young" "~")) -> ("something" "is" "white" "+"))
If Dave is quiet then Dave is cold.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "cold" "+"))
Fiona is quiet.
True
1
proof
[(triple3)]
("Fiona" "is" "quiet" "+")
triple3
Fiona is not quiet.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "quiet" "-")
triple3
Dave is quiet.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is not quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Dave" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is not cold.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Dave" "is" "cold" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is green.[(triple1)] Fiona is not green.[(triple2)] Fiona is quiet.[(triple3)] @1: Dave is quiet.[(((triple1) -> rule1))] @2: Dave is cold.[(((((triple1) -> rule1)) -> rule3))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2