Gary is big. Gary is cold. Gary is rough. Nice things are cold. If Gary is smart and Gary is cold then Gary is blue. Cold things are smart.
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If Gary is smart and Gary is cold then Gary is blue.
((("Gary" "is" "smart" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "blue" "+"))
Cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Gary is rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Gary is not cold.
False
1
inv-proof
[(triple2)]
("Gary" "is" "cold" "-")
triple2
Gary is smart.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple2) -> rule3))]
("Gary" "is" "smart" "-")
((triple2) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
True
4
proof
[(((((triple2) -> rule3) triple2) -> rule2))]
("Gary" "is" "blue" "+")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((((triple2) -> rule3) triple2) -> rule2))]
("Gary" "is" "blue" "-")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
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 nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is rough.[(triple3)] @1: Gary is smart.[(((triple2) -> rule3))] @2: Gary is blue.[(((((triple2) -> rule3) triple2) -> rule2))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2