Anne is not rough. Bob is cold. Erin is cold. Gary is furry. Big, nice things are cold. If Gary is not furry then Gary is big. If Bob is furry then Bob is blue. If something is big and not furry then it is rough. All nice things are round. If something is big and cold then it is nice.
Anne is not rough.
("Anne" "is" "rough" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Big, nice things are cold.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If Gary is not furry then Gary is big.
((("Gary" "is" "furry" "~")) -> ("Gary" "is" "big" "+"))
If Bob is furry then Bob is blue.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "blue" "+"))
If something is big and not furry then it is rough.
((("something" "is" "big" "+") ("something" "is" "furry" "~")) -> ("something" "is" "rough" "+"))
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is big and cold then it is nice.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Gary is furry.
True
1
proof
[(triple4)]
("Gary" "is" "furry" "+")
triple4
Erin is not cold.
False
1
inv-proof
[(triple3)]
("Erin" "is" "cold" "-")
triple3
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "rough" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is not rough.[(triple1)] Bob is cold.[(triple2)] Erin is cold.[(triple3)] Gary is furry.[(triple4)]
Anne is not rough.
("Anne" "is" "rough" "-")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4