Gary is green. Gary is white. Harry is green. Furry, green things are white. If Gary is white and Gary is furry then Gary is rough. If something is young and nice then it is green. All green things are rough. Furry, young things are nice. If Harry is rough and Harry is furry then Harry is green.
Gary is green.
("Gary" "is" "green" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Furry, green things are white.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If Gary is white and Gary is furry then Gary is rough.
((("Gary" "is" "white" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "rough" "+"))
If something is young and nice then it is green.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Furry, young things are nice.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If Harry is rough and Harry is furry then Harry is green.
((("Harry" "is" "rough" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "green" "+"))
Gary is green.
True
1
proof
[(triple1)]
("Gary" "is" "green" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple1)]
("Gary" "is" "green" "-")
triple1
Harry is rough.
True
2
proof
[(((triple3) -> rule4))]
("Harry" "is" "rough" "+")
((triple3) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple1) -> rule4))]
("Gary" "is" "rough" "-")
((triple1) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Gary is green.[(triple1)] Gary is white.[(triple2)] Harry is green.[(triple3)] @1: Gary is rough.[(((triple1) -> rule4))] Harry is rough.[(((triple3) -> rule4))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is white.
("Gary" "is" "white" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple3) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1