Anne is big. Anne is kind. Anne is white. Dave is not big. Dave is not furry. Dave is kind. Dave is nice. Dave is red. Dave is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is not nice. Fiona is red. Fiona is white. If Anne is not kind then Anne is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Anne is not kind then Anne is big.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "big" "+"))
Fiona is not nice.
True
1
proof
[(triple14)]
("Fiona" "is" "nice" "-")
triple14
Fiona is not red.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "red" "-")
triple15
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is not big.[(triple4)] Dave is not furry.[(triple5)] Dave is red.[(triple8)] Dave is white.[(triple9)] Fiona is big.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is not nice.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is not big.
("Dave" "is" "big" "-")
triple4
Dave is not furry.
("Dave" "is" "furry" "-")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16