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