Anne is not cold. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is not white. Dave is quiet. Erin is cold. Erin is green. Erin is quiet. Erin is not red. Erin is white. Red, quiet things are green. If Dave is not quiet and Dave is not red then Dave is not white. If Bob is white then Bob is rough. If something is red then it is rough. If Erin is quiet and Erin is not red then Erin is furry. If something is quiet and not rough then it is not cold. If something is red and not white then it is not furry. If something is cold then it is furry.
Anne is not cold.
("Anne" "is" "cold" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not white.
("Bob" "is" "white" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is white.
("Erin" "is" "white" "+")
Red, quiet things are green.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Dave is not quiet and Dave is not red then Dave is not white.
((("Dave" "is" "quiet" "~") ("Dave" "is" "red" "~")) -> ("Dave" "is" "white" "-"))
If Bob is white then Bob is rough.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "rough" "+"))
If something is red then it is rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If Erin is quiet and Erin is not red then Erin is furry.
((("Erin" "is" "quiet" "+") ("Erin" "is" "red" "~")) -> ("Erin" "is" "furry" "+"))
If something is quiet and not rough then it is not cold.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "-"))
If something is red and not white then it is not furry.
((("something" "is" "red" "+") ("something" "is" "white" "~")) -> ("something" "is" "furry" "-"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Erin is not red.
True
1
proof
[(triple11)]
("Erin" "is" "red" "-")
triple11
Erin is red.
False
1
inv-proof
[(triple11)]
("Erin" "is" "red" "+")
triple11
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is not cold.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule8))] Bob is green.[(triple4)] Bob is not white.[(triple6)] Bob is quiet.[(triple5)] Dave is quiet.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is not red.[(triple11)] Erin is quiet.[(triple10)] Erin is white.[(triple12)] @1: Erin is furry.[(((triple8) -> rule8) OR ((triple10 triple11) -> rule5))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple2) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is not white.
("Bob" "is" "white" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is not red.
("Erin" "is" "red" "-")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is furry.
("Erin" "is" "furry" "+")
((triple8) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple10 triple11) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1