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