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