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