Bob is cold. Charlie is furry. Erin is cold. Gary is smart. Quiet people are not red. If Bob is smart then Bob is blue. Blue, red people are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Quiet people are not red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "-"))
If Bob is smart then Bob is blue.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "blue" "+"))
Blue, red people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Bob is cold.[(triple1)] Charlie is furry.[(triple2)] Erin is cold.[(triple3)] Gary is smart.[(triple4)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
triple4