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