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