Gary is green. Gary is smart. Gary is young. All cold people are red. All young, red people are green. If someone is smart then they are red.
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All young, red people are green.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is smart then they are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Gary is smart.
True
1
proof
[(triple2)]
("Gary" "is" "smart" "+")
triple2
Gary is not young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is red.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "red" "+")
((triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple2) -> rule3))]
("Gary" "is" "red" "-")
((triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is green.[(triple1 OR ((triple3 ((triple2) -> rule3)) -> rule2))] Gary is smart.[(triple2)] Gary is young.[(triple3)] @1: Gary is red.[(((triple2) -> rule3))]
Gary is green.
("Gary" "is" "green" "+")
triple1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
((triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1