Anne is cold. Anne is kind. Anne is quiet. Anne is red. Bob is green. Bob is red. Bob is smart. Bob is white. Dave is green. Dave is kind. Dave is smart. Dave is white. Erin is cold. Erin is kind. Erin is red. Erin is white. If Dave is kind then Dave is cold. All white things are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
If Dave is kind then Dave is cold.
((("Dave" "is" "kind" "+")) -> ("Dave" "is" "cold" "+"))
All white things are smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Erin is red.
True
1
proof
[(triple15)]
("Erin" "is" "red" "+")
triple15
Bob is not red.
False
1
inv-proof
[(triple6)]
("Bob" "is" "red" "-")
triple6
Erin is smart.
True
2
proof
[(((triple16) -> rule2))]
("Erin" "is" "smart" "+")
((triple16) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("Dave" "is" "cold" "-")
((triple10) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7 OR ((triple8) -> rule2))] Bob is white.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is smart.[(triple11 OR ((triple12) -> rule2))] Dave is white.[(triple12)] Erin is cold.[(triple13)] Erin is kind.[(triple14)] Erin is red.[(triple15)] Erin is white.[(triple16)] @1: Dave is cold.[(((triple10) -> rule1))] Erin is smart.[(((triple16) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
((triple8) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
((triple12) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple12
Erin is cold.
("Erin" "is" "cold" "+")
triple13
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
Dave is cold.
("Dave" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple16) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1