Anne is furry. Bob is rough. Bob is not white. Fiona is green. Fiona is rough. Gary is not cold. Gary is not furry. Gary is green. Gary is rough. Gary is smart. If someone is white and furry then they are rough. Furry, smart people are cold. If Bob is red and Bob is not cold then Bob is green.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not white.
("Bob" "is" "white" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is white and furry then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Furry, smart people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If Bob is red and Bob is not cold then Bob is green.
((("Bob" "is" "red" "+") ("Bob" "is" "cold" "~")) -> ("Bob" "is" "green" "+"))
Gary is not furry.
True
1
proof
[(triple7)]
("Gary" "is" "furry" "-")
triple7
Gary is not green.
False
1
inv-proof
[(triple8)]
("Gary" "is" "green" "-")
triple8
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is furry.[(triple1)] Bob is not white.[(triple3)] Bob is rough.[(triple2)] Fiona is green.[(triple4)] Fiona is rough.[(triple5)] Gary is green.[(triple8)] Gary is not cold.[(triple6)] Gary is not furry.[(triple7)] Gary is rough.[(triple9)] Gary is smart.[(triple10)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is not furry.
("Gary" "is" "furry" "-")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10