Anne is green. Bob is furry. Bob is green. Charlie is big. Charlie is furry. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is quiet. If Charlie is not green then Charlie is blue.
Anne is green.
("Anne" "is" "green" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If Charlie is not green then Charlie is blue.
((("Charlie" "is" "green" "~")) -> ("Charlie" "is" "blue" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Charlie is not big.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "big" "-")
triple4
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is green.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Charlie is big.[(triple4)] Charlie is furry.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10