Bob is green. Bob is quiet. Bob is not white. Bob is young. Erin is kind. Erin is quiet. Erin is not white. Erin is young. Fiona is big. Fiona is green. If Erin is nice then Erin is young. White things are kind. If Bob is not young and Bob is not green then Bob is kind. If something is green and not white then it is not nice. If something is kind and nice then it is quiet. If Erin is not young then Erin is quiet.
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is young.
("Bob" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not white.
("Erin" "is" "white" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If Erin is nice then Erin is young.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "young" "+"))
White things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If Bob is not young and Bob is not green then Bob is kind.
((("Bob" "is" "young" "~") ("Bob" "is" "green" "~")) -> ("Bob" "is" "kind" "+"))
If something is green and not white then it is not nice.
((("something" "is" "green" "+") ("something" "is" "white" "~")) -> ("something" "is" "nice" "-"))
If something is kind and nice then it is quiet.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If Erin is not young then Erin is quiet.
((("Erin" "is" "young" "~")) -> ("Erin" "is" "quiet" "+"))
Erin is kind.
True
1
proof
[(triple5)]
("Erin" "is" "kind" "+")
triple5
Fiona is not green.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "green" "-")
triple10
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is green.[(triple1)] Bob is not white.[(triple3)] Bob is quiet.[(triple2)] Bob is young.[(triple4)] Erin is kind.[(triple5)] Erin is not white.[(triple7)] Erin is quiet.[(triple6)] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple10)] @1: Bob is not nice.[(((triple1 triple3) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is not white.
("Erin" "is" "white" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Bob is not nice.
("Bob" "is" "nice" "-")
((triple1 triple3) -> (rule4 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1