Gary is green. Green people are not round. If someone is green and not round then they are cold. If someone is cold and not furry then they are smart.
Gary is green.
("Gary" "is" "green" "+")
Green people are not round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "-"))
If someone is green and not round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "+"))
If someone is cold and not furry then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "smart" "+"))
Gary is green.
True
1
proof
[(triple1)]
("Gary" "is" "green" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple1)]
("Gary" "is" "green" "-")
triple1
Gary is not round.
True
2
proof
[(((triple1) -> rule1))]
("Gary" "is" "round" "-")
((triple1) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "round" "+")
((triple1) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Gary is green.[(triple1)] @1: Gary is not round.[(((triple1) -> rule1))] @2: Gary is cold.[(((triple1 ((triple1) -> rule1)) -> rule2))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is not round.
("Gary" "is" "round" "-")
((triple1) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
int2