Charlie is not nice. Charlie is smart. Charlie is white. Charlie is young. Gary is not blue. Gary is nice. Gary is not rough. Gary is smart. Gary is white. Gary is young. If someone is green then they are blue.
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Gary is white.
True
1
proof
[(triple9)]
("Gary" "is" "white" "+")
triple9
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is not nice.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Gary is nice.[(triple6)] Gary is not blue.[(triple5)] Gary is not rough.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)]
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is not blue.
("Gary" "is" "blue" "-")
triple5
Gary is not rough.
("Gary" "is" "rough" "-")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10