Charlie is not kind. Charlie is not white. Dave is quiet. Fiona is cold. Fiona is not green. Fiona is not red. Gary is quiet. Quiet, cold people are green. If someone is red and quiet then they are kind.
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Quiet, cold people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and quiet then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Gary is quiet.
True
1
proof
[(triple7)]
("Gary" "is" "quiet" "+")
triple7
Gary is not quiet.
False
1
inv-proof
[(triple7)]
("Gary" "is" "quiet" "-")
triple7
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is not kind.[(triple1)] Charlie is not white.[(triple2)] Dave is quiet.[(triple3)] Fiona is cold.[(triple4)] Fiona is not green.[(triple5)] Fiona is not red.[(triple6)] Gary is quiet.[(triple7)]
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is not green.
("Fiona" "is" "green" "-")
triple5
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7