Fiona is not cold. Fiona is not green. Fiona is kind. Fiona is smart. Fiona is white. Gary is cold. Gary is green. Gary is round. Gary is smart. Gary is white. If something is smart and not kind then it is not green. If Fiona is blue and Fiona is not round then Fiona is cold.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is smart and not kind then it is not green.
((("something" "is" "smart" "+") ("something" "is" "kind" "~")) -> ("something" "is" "green" "-"))
If Fiona is blue and Fiona is not round then Fiona is cold.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple8)]
("Gary" "is" "round" "+")
triple8
Fiona is green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Fiona is kind.[(triple3)] Fiona is not cold.[(triple1)] Fiona is not green.[(triple2)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10