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