Charlie is not blue. Dave is nice. Erin is rough. Gary is big. Gary is not green. Gary is red. Gary is not rough. If something is rough and not nice then it is not red. If something is blue and not cold then it is rough. Cold things are big.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
If something is rough and not nice then it is not red.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "-"))
If something is blue and not cold then it is rough.
((("something" "is" "blue" "+") ("something" "is" "cold" "~")) -> ("something" "is" "rough" "+"))
Cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Gary is big.
True
1
proof
[(triple4)]
("Gary" "is" "big" "+")
triple4
Gary is not big.
False
1
inv-proof
[(triple4)]
("Gary" "is" "big" "-")
triple4
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Charlie is not blue.[(triple1)] Dave is nice.[(triple2)] Erin is rough.[(triple3)] Gary is big.[(triple4)] Gary is not green.[(triple5)] Gary is not rough.[(triple7)] Gary is red.[(triple6)]
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is not green.
("Gary" "is" "green" "-")
triple5
Gary is not rough.
("Gary" "is" "rough" "-")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6