Bob is smart. Gary is round. If Gary is green then Gary is round. If Gary is round then Gary is green. If Gary is round and Gary is green then Gary is smart.
Bob is smart.
("Bob" "is" "smart" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is green then Gary is round.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "round" "+"))
If Gary is round then Gary is green.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "green" "+"))
If Gary is round and Gary is green then Gary is smart.
((("Gary" "is" "round" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "smart" "+"))
Bob is smart.
True
1
proof
[(triple1)]
("Bob" "is" "smart" "+")
triple1
Bob is not smart.
False
1
inv-proof
[(triple1)]
("Bob" "is" "smart" "-")
triple1
Gary is green.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "green" "+")
((triple2) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "green" "-")
((triple2) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Gary" "is" "smart" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not smart.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Gary" "is" "smart" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is smart.[(triple1)] Gary is round.[(triple2)] @1: Gary is green.[(((triple2) -> rule2))] @2: Gary is smart.[(((triple2 ((triple2) -> rule2)) -> rule3))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Gary is round.
("Gary" "is" "round" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
((triple2) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2