Gary is not big. Gary is green. Gary is not young. Young, rough people are smart. If someone is green and not red then they are not smart. If someone is nice and not rough then they are not green.
Gary is not big.
("Gary" "is" "big" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not young.
("Gary" "is" "young" "-")
Young, rough people are smart.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If someone is green and not red then they are not smart.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "smart" "-"))
If someone is nice and not rough then they are not green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "green" "-"))
Gary is not young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Gary is green.[(triple2)] Gary is not big.[(triple1)] Gary is not young.[(triple3)]
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is not big.
("Gary" "is" "big" "-")
triple1
Gary is not young.
("Gary" "is" "young" "-")
triple3