Gary is green. If something is cold and not green then it is quiet. If something is nice then it is not quiet. If Gary is green then Gary is not quiet. If Gary is not green then Gary is quiet. Furry, green things are nice. All cold things are nice. If something is green then it is nice. All cold things are not young.
Gary is green.
("Gary" "is" "green" "+")
If something is cold and not green then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "green" "~")) -> ("something" "is" "quiet" "+"))
If something is nice then it is not quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "-"))
If Gary is green then Gary is not quiet.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "quiet" "-"))
If Gary is not green then Gary is quiet.
((("Gary" "is" "green" "~")) -> ("Gary" "is" "quiet" "+"))
Furry, green things are nice.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All cold things are not young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
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 nice.
True
2
proof
[(((triple1) -> rule7))]
("Gary" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
False
2
inv-proof
[(((triple1) -> rule3) OR ((((triple1) -> rule7)) -> rule2))]
("Gary" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Gary is green.[(triple1)] @1: Gary is nice.[(((triple1) -> rule7))] Gary is not quiet.[(((triple1) -> rule3) OR ((((triple1) -> rule7)) -> rule2))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple1) -> (rule3 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2