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