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