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