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