Anne is cold. Bob is green. Fiona is cold. Gary is nice. If Bob is green and Bob is nice then Bob is kind. All white people are cold. Blue people are nice. All kind people are cold. If someone is blue then they are white. Kind people are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Bob is green and Bob is nice then Bob is kind.
((("Bob" "is" "green" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "kind" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Gary is nice.
True
1
proof
[(triple4)]
("Gary" "is" "nice" "+")
triple4
Gary is not nice.
False
1
inv-proof
[(triple4)]
("Gary" "is" "nice" "-")
triple4
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Gary" "is" "cold" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is cold.[(triple1)] Bob is green.[(triple2)] Fiona is cold.[(triple3)] Gary is nice.[(triple4)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4