Bob is green. Bob is kind. Bob is not white. Erin is green. Erin is rough. Erin is not smart. Erin is white. Fiona is kind. Fiona is not quiet. Fiona is not rough. If Fiona is not white then Fiona is not smart. If someone is white then they are not smart. All white, kind people are not rough. Quiet people are kind. If Bob is green and Bob is not kind then Bob is furry. If someone is furry and not white then they are green. If someone is smart and quiet then they are not green. If someone is quiet and not rough then they are furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not white.
("Bob" "is" "white" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
If Fiona is not white then Fiona is not smart.
((("Fiona" "is" "white" "~")) -> ("Fiona" "is" "smart" "-"))
If someone is white then they are not smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
All white, kind people are not rough.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "-"))
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Bob is green and Bob is not kind then Bob is furry.
((("Bob" "is" "green" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "furry" "+"))
If someone is furry and not white then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "green" "+"))
If someone is smart and quiet then they are not green.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "-"))
If someone is quiet and not rough then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "furry" "+"))
Erin is green.
True
1
proof
[(triple4)]
("Erin" "is" "green" "+")
triple4
Bob is white.
False
1
inv-proof
[(triple3)]
("Bob" "is" "white" "+")
triple3
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is not white.[(triple3)] Erin is green.[(triple4)] Erin is not smart.[(triple6 OR ((triple7) -> rule2))] Erin is rough.[(triple5)] Erin is white.[(triple7)] Fiona is kind.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is not rough.[(triple10)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not white.
("Bob" "is" "white" "-")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is not smart.
("Erin" "is" "smart" "-")
triple6
((triple7) -> (rule2 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple9
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple10