Anne is rough. Erin is rough. Gary is round. All young things are not furry. If something is round and not quiet then it is kind. All cold things are kind. If something is young then it is cold. If something is kind and not furry then it is cold. If Gary is young and Gary is not cold then Gary is rough.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
All young things are not furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "-"))
If something is round and not quiet then it is kind.
((("something" "is" "round" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "kind" "+"))
All cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is kind and not furry then it is cold.
((("something" "is" "kind" "+") ("something" "is" "furry" "~")) -> ("something" "is" "cold" "+"))
If Gary is young and Gary is not cold then Gary is rough.
((("Gary" "is" "young" "+") ("Gary" "is" "cold" "~")) -> ("Gary" "is" "rough" "+"))
Gary is round.
True
1
proof
[(triple3)]
("Gary" "is" "round" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple3)]
("Gary" "is" "round" "-")
triple3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is rough.[(triple1)] Erin is rough.[(triple2)] Gary is round.[(triple3)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3