Bob is not cold. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is round. Charlie is cold. Charlie is not kind. Charlie is quiet. Dave is not green. Dave is kind. Dave is quiet. Dave is red. Erin is not quiet. Erin is not round. If someone is white then they are round. If Bob is not kind and Bob is not red then Bob is white.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is not round.
("Erin" "is" "round" "-")
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If Bob is not kind and Bob is not red then Bob is white.
((("Bob" "is" "kind" "~") ("Bob" "is" "red" "~")) -> ("Bob" "is" "white" "+"))
Dave is red.
True
1
proof
[(triple13)]
("Dave" "is" "red" "+")
triple13
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not cold.[(triple1)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Charlie is cold.[(triple7)] Charlie is not kind.[(triple8)] Charlie is quiet.[(triple9)] Dave is kind.[(triple11)] Dave is not green.[(triple10)] Dave is quiet.[(triple12)] Dave is red.[(triple13)] Erin is not quiet.[(triple14)] Erin is not round.[(triple15)]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple8
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple11
Dave is not green.
("Dave" "is" "green" "-")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
triple12
Dave is red.
("Dave" "is" "red" "+")
triple13
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple14
Erin is not round.
("Erin" "is" "round" "-")
triple15