Bob is blue. Bob is not red. Bob is rough. Bob is not white. Bob is young. Fiona is blue. Harry is furry. If someone is red then they are furry. All white people are not furry. If someone is blue and not red then they are rough. If someone is blue then they are rough. If someone is red and not furry then they are young. All white, young people are not quiet.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is young.
("Bob" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All white people are not furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "-"))
If someone is blue and not red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and not furry then they are young.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "young" "+"))
All white, young people are not quiet.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is red.
False
1
inv-proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is not red.[(triple2)] Bob is not white.[(triple4)] Bob is rough.[(triple3 OR ((triple1) -> rule4) OR ((triple1 triple2) -> rule3))] Bob is young.[(triple5)] Fiona is blue.[(triple6)] Harry is furry.[(triple7)] @1: Fiona is rough.[(((triple6) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple2
Bob is not white.
("Bob" "is" "white" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple1) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple1 triple2) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple6) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1