Anne is quiet. Dave is not quiet. Dave is not round. Gary is not furry. Gary is green. Gary is quiet. Gary is smart. Gary is white. Harry is furry. Harry is green. Harry is quiet. Harry is round. Blue, white people are not furry.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is not round.
("Dave" "is" "round" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Blue, white people are not furry.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "-"))
Gary is quiet.
True
1
proof
[(triple6)]
("Gary" "is" "quiet" "+")
triple6
Gary is not quiet.
False
1
inv-proof
[(triple6)]
("Gary" "is" "quiet" "-")
triple6
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is quiet.[(triple1)] Dave is not quiet.[(triple2)] Dave is not round.[(triple3)] Gary is green.[(triple5)] Gary is not furry.[(triple4)] Gary is quiet.[(triple6)] Gary is smart.[(triple7)] Gary is white.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple2
Dave is not round.
("Dave" "is" "round" "-")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is not furry.
("Gary" "is" "furry" "-")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12