Anne is not quiet. Anne is young. Bob is furry. Bob is round. Bob is white. Bob is young. Dave is not rough. Harry is furry. Harry is rough. Harry is white. If Bob is quiet and Bob is not young then Bob is not round. If someone is furry and not rough then they are quiet. Kind people are white. If someone is rough then they are white. If someone is furry and round then they are kind. If someone is young and not quiet then they are not kind.
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If Bob is quiet and Bob is not young then Bob is not round.
((("Bob" "is" "quiet" "+") ("Bob" "is" "young" "~")) -> ("Bob" "is" "round" "-"))
If someone is furry and not rough then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "quiet" "+"))
Kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is rough then they are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is furry and round then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and not quiet then they are not kind.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "kind" "-"))
Bob is round.
True
1
proof
[(triple4)]
("Bob" "is" "round" "+")
triple4
Bob is not round.
False
1
inv-proof
[(triple4)]
("Bob" "is" "round" "-")
triple4
Bob is kind.
True
3
proof
[(((triple3 triple4) -> rule5))]
("Bob" "is" "kind" "+")
((triple3 triple4) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple3 triple4) -> rule5))]
("Bob" "is" "kind" "-")
((triple3 triple4) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is not quiet.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5 OR ((((triple3 triple4) -> rule5)) -> rule3))] Bob is young.[(triple6)] Dave is not rough.[(triple7)] Harry is furry.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule4))] @1: Anne is not kind.[(((triple2 triple1) -> rule6))] Bob is kind.[(((triple3 triple4) -> rule5))]
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
((((triple3 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple6
Dave is not rough.
("Dave" "is" "rough" "-")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple9) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is not kind.
("Anne" "is" "kind" "-")
((triple2 triple1) -> (rule6 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 triple4) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1