Gary is cold. If someone is white and not red then they are cold. If someone is red then they are furry. All red, cold people are furry. Rough people are round. Red people are round. Cold people are rough. If Gary is green then Gary is round. If someone is white and not cold then they are green.
Gary is cold.
("Gary" "is" "cold" "+")
If someone is white and not red then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "cold" "+"))
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All red, cold people are furry.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If Gary is green then Gary is round.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "round" "+"))
If someone is white and not cold then they are green.
((("someone" "is" "white" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "green" "+"))
Gary is cold.
True
1
proof
[(triple1)]
("Gary" "is" "cold" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple1)]
("Gary" "is" "cold" "-")
triple1
Gary is rough.
True
2
proof
[(((triple1) -> rule6))]
("Gary" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("Gary" "is" "rough" "-")
((triple1) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
True
3
proof
[(((((triple1) -> rule6)) -> rule4))]
("Gary" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not round.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule4))]
("Gary" "is" "round" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Gary is cold.[(triple1)] @1: Gary is rough.[(((triple1) -> rule6))] @2: Gary is round.[(((((triple1) -> rule6)) -> rule4))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2