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