Gary is cold. Cold things are rough. If Gary is cold and Gary is green then Gary is round. Green, red things are rough. If something is kind and red then it is cold. If Gary is round then Gary is green. Quiet things are round. If Gary is cold then Gary is round. Quiet, round things are rough.
Gary is cold.
("Gary" "is" "cold" "+")
Cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If Gary is cold and Gary is green then Gary is round.
((("Gary" "is" "cold" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "round" "+"))
Green, red things are rough.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is kind and red then it is cold.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If Gary is round then Gary is green.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "green" "+"))
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If Gary is cold then Gary is round.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "round" "+"))
Quiet, round things are rough.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Gary is cold.
True
1
proof
[(triple1)]
("Gary" "is" "cold" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple1)]
("Gary" "is" "cold" "-")
triple1
Gary is round.
True
2
proof
[(((triple1) -> rule7))]
("Gary" "is" "round" "+")
((triple1) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Gary is cold.[(triple1)] @1: Gary is rough.[(((triple1) -> rule1))] Gary is round.[(((triple1) -> rule7))] @2: Gary is green.[(((((triple1) -> rule7)) -> rule5))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple1) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2