Anne is green. Charlie is red. Gary is big. If someone is red and big then they are cold. If someone is green and big then they are white. If Anne is big and Anne is nice then Anne is green. If Charlie is white then Charlie is cold. All white people are big. All cold, rough people are red. If someone is green and rough then they are cold. All cold, red people are green.
Anne is green.
("Anne" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and big then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big then they are white.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If Anne is big and Anne is nice then Anne is green.
((("Anne" "is" "big" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "green" "+"))
If Charlie is white then Charlie is cold.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "cold" "+"))
All white people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All cold, rough people are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All cold, red people are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Charlie is not white.
Unknown
inv-rconc
[@2: Charlie is white.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Charlie" "is" "white" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is green.[(triple1)] Charlie is red.[(triple2)] Gary is big.[(triple3)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3