Fiona is cold. Fiona is not nice. Fiona is smart. If Fiona is not blue then Fiona is not young. If something is nice and not young then it is cold.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is not blue then Fiona is not young.
((("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "young" "-"))
If something is nice and not young then it is cold.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "cold" "+"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is cold.[(triple1)] Fiona is not nice.[(triple2)] Fiona is smart.[(triple3)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3