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