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