Charlie is cold. Gary is not big. Gary is not cold. If Charlie is green and Charlie is nice then Charlie is not furry. If someone is cold and nice then they are not big. Green people are cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is not cold.
("Gary" "is" "cold" "-")
If Charlie is green and Charlie is nice then Charlie is not furry.
((("Charlie" "is" "green" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "furry" "-"))
If someone is cold and nice then they are not big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "-"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is not cold.
True
1
proof
[(triple3)]
("Gary" "is" "cold" "-")
triple3
Gary is cold.
False
1
inv-proof
[(triple3)]
("Gary" "is" "cold" "+")
triple3
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Charlie is cold.[(triple1)] Gary is not big.[(triple2)] Gary is not cold.[(triple3)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Gary is not big.
("Gary" "is" "big" "-")
triple2
Gary is not cold.
("Gary" "is" "cold" "-")
triple3