Gary is not furry. Gary is not green. Gary is not white. Harry is green. Harry is kind. Harry is not red. Harry is white. If someone is rough and kind then they are green. If someone is rough then they are white. If someone is round and not furry then they are not white. If someone is red and not furry then they are not kind. White, rough people are red. If someone is round then they are not red. If Harry is rough then Harry is red. If Harry is round then Harry is not red.
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not white.
("Gary" "is" "white" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is rough and kind then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is round and not furry then they are not white.
((("someone" "is" "round" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "-"))
If someone is red and not furry then they are not kind.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "-"))
White, rough people are red.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are not red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "-"))
If Harry is rough then Harry is red.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "red" "+"))
If Harry is round then Harry is not red.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "red" "-"))
Gary is not white.
True
1
proof
[(triple3)]
("Gary" "is" "white" "-")
triple3
Gary is furry.
False
1
inv-proof
[(triple1)]
("Gary" "is" "furry" "+")
triple1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Gary is not furry.[(triple1)] Gary is not green.[(triple2)] Gary is not white.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5)] Harry is not red.[(triple6)] Harry is white.[(triple7)]
Gary is not furry.
("Gary" "is" "furry" "-")
triple1
Gary is not green.
("Gary" "is" "green" "-")
triple2
Gary is not white.
("Gary" "is" "white" "-")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is not red.
("Harry" "is" "red" "-")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7