Gary is cold. Gary is quiet. Gary is not young. All young things are not kind. If Gary is kind then Gary is quiet. All quiet things are blue. All blue things are not young. If Gary is young and Gary is not quiet then Gary is green. If Gary is young and Gary is not cold then Gary is not green.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not young.
("Gary" "is" "young" "-")
All young things are not kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "-"))
If Gary is kind then Gary is quiet.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "quiet" "+"))
All quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
All blue things are not young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
If Gary is young and Gary is not quiet then Gary is green.
((("Gary" "is" "young" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "green" "+"))
If Gary is young and Gary is not cold then Gary is not green.
((("Gary" "is" "young" "+") ("Gary" "is" "cold" "~")) -> ("Gary" "is" "green" "-"))
Gary is quiet.
True
1
proof
[(triple2)]
("Gary" "is" "quiet" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple2)]
("Gary" "is" "quiet" "-")
triple2
Gary is blue.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("Gary" "is" "blue" "-")
((triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Gary is cold.[(triple1)] Gary is not young.[(triple3 OR ((((triple2) -> rule3)) -> rule4))] Gary is quiet.[(triple2)] @1: Gary is blue.[(((triple2) -> rule3))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is not young.
("Gary" "is" "young" "-")
triple3
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1