Gary is quiet. Smart things are young. Rough, quiet things are green. All green, rough things are quiet. All young things are green. If something is round and green then it is quiet. If something is smart and young then it is furry. If Gary is round and Gary is young then Gary is smart. If something is rough then it is smart.
Gary is quiet.
("Gary" "is" "quiet" "+")
Smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Rough, quiet things are green.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
All green, rough things are quiet.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something is round and green then it is quiet.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is smart and young then it is furry.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If Gary is round and Gary is young then Gary is smart.
((("Gary" "is" "round" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "smart" "+"))
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Gary is quiet.
True
1
proof
[(triple1)]
("Gary" "is" "quiet" "+")
triple1
Gary is not quiet.
False
1
inv-proof
[(triple1)]
("Gary" "is" "quiet" "-")
triple1
Gary is not green.
Unknown
inv-rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule7 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is quiet.[(triple1)]
Gary is quiet.
("Gary" "is" "quiet" "+")
triple1