Bob is quiet. Bob is red. Bob is smart. Dave is not kind. Dave is not quiet. Dave is smart. Dave is white. Fiona is green. Fiona is not red. Fiona is not smart. Red things are green. All green things are not rough.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All green things are not rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "-"))
Fiona is not smart.
True
1
proof
[(triple10)]
("Fiona" "is" "smart" "-")
triple10
Dave is not white.
False
1
inv-proof
[(triple7)]
("Dave" "is" "white" "-")
triple7
Fiona is not rough.
True
2
proof
[(((triple8) -> rule2))]
("Fiona" "is" "rough" "-")
((triple8) -> (rule2 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Bob is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "green" "-")
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not rough.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Bob" "is" "rough" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Bob" "is" "rough" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Dave is not kind.[(triple4)] Dave is not quiet.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Fiona is green.[(triple8)] Fiona is not red.[(triple9)] Fiona is not smart.[(triple10)] @1: Bob is green.[(((triple2) -> rule1))] Fiona is not rough.[(((triple8) -> rule2))] @2: Bob is not rough.[(((((triple2) -> rule1)) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is not kind.
("Dave" "is" "kind" "-")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple9
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple8) -> (rule2 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Bob is not rough.
("Bob" "is" "rough" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is green.
("Bob" "is" "green" "+")
int2