Gary is white. White people are furry. If Gary is cold then Gary is green. If someone is rough and not big then they are not cold. If someone is white and not big then they are green. If someone is green then they are white. If Gary is furry then Gary is cold.
Gary is white.
("Gary" "is" "white" "+")
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Gary is cold then Gary is green.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "green" "+"))
If someone is rough and not big then they are not cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "cold" "-"))
If someone is white and not big then they are green.
((("someone" "is" "white" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "green" "+"))
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Gary is furry then Gary is cold.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "cold" "+"))
Gary is white.
True
1
proof
[(triple1)]
("Gary" "is" "white" "+")
triple1
Gary is not white.
False
1
inv-proof
[(triple1)]
("Gary" "is" "white" "-")
triple1
Gary is furry.
True
2
proof
[(((triple1) -> rule1))]
("Gary" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
True
3
proof
[(((((triple1) -> rule1)) -> rule6))]
("Gary" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not cold.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("Gary" "is" "cold" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
True
4
proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Gary" "is" "green" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is not green.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Gary" "is" "green" "-")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Gary is white.[(triple1)] @1: Gary is furry.[(((triple1) -> rule1))] @2: Gary is cold.[(((((triple1) -> rule1)) -> rule6))] @3: Gary is green.[(((((((triple1) -> rule1)) -> rule6)) -> rule2))]
Gary is white.
("Gary" "is" "white" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3