Gary is quiet. Gary is red. Gary is round. If someone is rough and cold then they are kind. All green people are not kind.
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All green people are not kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "-"))
Gary is red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple1)]
("Gary" "is" "quiet" "-")
triple1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Gary is quiet.[(triple1)] Gary is red.[(triple2)] Gary is round.[(triple3)]
Gary is quiet.
("Gary" "is" "quiet" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3