Charlie is not cold. Gary is cold. Harry is not red. All white, cold things are not rough. If something is rough and not red then it is smart. If something is nice then it is white.
Charlie is not cold.
("Charlie" "is" "cold" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is not red.
("Harry" "is" "red" "-")
All white, cold things are not rough.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "-"))
If something is rough and not red then it is smart.
((("something" "is" "rough" "+") ("something" "is" "red" "~")) -> ("something" "is" "smart" "+"))
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Gary is cold.
True
1
proof
[(triple2)]
("Gary" "is" "cold" "+")
triple2
Harry is red.
False
1
inv-proof
[(triple3)]
("Harry" "is" "red" "+")
triple3
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "white" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is not cold.[(triple1)] Gary is cold.[(triple2)] Harry is not red.[(triple3)]
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Harry is not red.
("Harry" "is" "red" "-")
triple3