Bob is kind. Dave is not red. Fiona is quiet. Harry is smart. If someone is quiet then they are white. All white people are smart.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is not red.
("Dave" "is" "red" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Fiona is quiet.
True
1
proof
[(triple3)]
("Fiona" "is" "quiet" "+")
triple3
Fiona is not quiet.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "quiet" "-")
triple3
Fiona is white.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "-")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is smart.
Unknown
rconc
[@2: Bob is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "smart" "+")
Dave is not smart.
Unknown
inv-rconc
[@2: Dave is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Dave is not red.[(triple2)] Fiona is quiet.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is white.[(((triple3) -> rule1))] @2: Fiona is smart.[(((((triple3) -> rule1)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is not red.
("Dave" "is" "red" "-")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2