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