Bob is rough. Gary is blue. Harry is not big. If Gary is smart then Gary is furry. If something is blue then it is young.
Bob is rough.
("Bob" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is not big.
("Harry" "is" "big" "-")
If Gary is smart then Gary is furry.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "furry" "+"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Gary is young.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "young" "+")
((triple2) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "young" "-")
((triple2) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is rough.[(triple1)] Gary is blue.[(triple2)] Harry is not big.[(triple3)] @1: Gary is young.[(((triple2) -> rule2))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Harry is not big.
("Harry" "is" "big" "-")
triple3
Gary is young.
("Gary" "is" "young" "+")
((triple2) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1