Gary is green. If Gary is white then Gary is red. If Gary is big then Gary is red. If Gary is white and Gary is furry then Gary is not red. If someone is green and not furry then they are white. If someone is cold then they are white. If Gary is green then Gary is cold. Big people are cold. If Gary is cold then Gary is quiet.
Gary is green.
("Gary" "is" "green" "+")
If Gary is white then Gary is red.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "red" "+"))
If Gary is big then Gary is red.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "red" "+"))
If Gary is white and Gary is furry then Gary is not red.
((("Gary" "is" "white" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "red" "-"))
If someone is green and not furry then they are white.
((("someone" "is" "green" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "+"))
If someone is cold then they are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If Gary is green then Gary is cold.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "cold" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If Gary is cold then Gary is quiet.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "quiet" "+"))
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 cold.
True
2
proof
[(((triple1) -> rule6))]
("Gary" "is" "cold" "+")
((triple1) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple1) -> rule6))]
("Gary" "is" "cold" "-")
((triple1) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
True
3
proof
[(((((triple1) -> rule6)) -> rule8))]
("Gary" "is" "quiet" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not white.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule5))]
("Gary" "is" "white" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
True
4
proof
[(((((((triple1) -> rule6)) -> rule5)) -> rule1))]
("Gary" "is" "red" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not red.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule5)) -> rule1))]
("Gary" "is" "red" "-")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
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 cold.[(((triple1) -> rule6))] @2: Gary is quiet.[(((((triple1) -> rule6)) -> rule8))] Gary is white.[(((((triple1) -> rule6)) -> rule5))] @3: Gary is red.[(((((((triple1) -> rule6)) -> rule5)) -> rule1))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
((triple1) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3