Gary is furry. Gary is red. Gary is smart. If Gary is nice and Gary is rough then Gary is red. Red people are nice.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is nice and Gary is rough then Gary is red.
((("Gary" "is" "nice" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "red" "+"))
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Gary is red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple2)]
("Gary" "is" "red" "-")
triple2
Gary is nice.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "nice" "-")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is furry.[(triple1)] Gary is red.[(triple2)] Gary is smart.[(triple3)] @1: Gary is nice.[(((triple2) -> rule2))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1