Gary is big. Gary is white. Gary is young. Big, white people are green. Blue, big people are young. If Gary is white and Gary is furry then Gary is big.
Gary is big.
("Gary" "is" "big" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Big, white people are green.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Blue, big people are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If Gary is white and Gary is furry then Gary is big.
((("Gary" "is" "white" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "big" "+"))
Gary is white.
True
1
proof
[(triple2)]
("Gary" "is" "white" "+")
triple2
Gary is not young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is green.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Gary" "is" "green" "+")
((triple1 triple2) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Gary" "is" "green" "-")
((triple1 triple2) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Gary is big.[(triple1)] Gary is white.[(triple2)] Gary is young.[(triple3)] @1: Gary is green.[(((triple1 triple2) -> rule1))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is white.
("Gary" "is" "white" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
((triple1 triple2) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1