Charlie is not cold. Fiona is cold. Gary is big. All nice, smart people are not red.
Charlie is not cold.
("Charlie" "is" "cold" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
All nice, smart people are not red.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "-"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Gary is not big.
False
1
inv-proof
[(triple3)]
("Gary" "is" "big" "-")
triple3
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is not cold.[(triple1)] Fiona is cold.[(triple2)] Gary is big.[(triple3)]
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3